org.objectweb.medor.type.lib
Class PTypeSpaceMedor

java.lang.Object
  |
  +--PTypeSpacePAAH
        |
        +--org.objectweb.medor.type.lib.PTypeSpaceMedor

public class PTypeSpaceMedor
extends PTypeSpacePAAH

This class extends the PTypeSpacePAAH of JORM for taking into account the PType of Medor, and namely the PType of tuples.

See Also:
Serialized Form

Field Summary
static PType COLLECTION
           
static PType NAMING_CONTEXT
           
static PType OBJECT
           
static PType PNAME
           
 
Constructor Summary
PTypeSpaceMedor()
           
 
Method Summary
static PType getResultType(PType type1, PType type2)
          This method returns the type which would result from applying a binary operator to 2 objects of given PType.
static boolean isArithmeticType(PType t)
          This method tells if a given Type is an arithmetic type
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

NAMING_CONTEXT

public static final PType NAMING_CONTEXT

PNAME

public static final PType PNAME

OBJECT

public static final PType OBJECT

COLLECTION

public static final PType COLLECTION
Constructor Detail

PTypeSpaceMedor

public PTypeSpaceMedor()
Method Detail

isArithmeticType

public static final boolean isArithmeticType(PType t)
This method tells if a given Type is an arithmetic type

Parameters:
t - The PType to be checked.
Returns:
true if the tested PType is an arithmetic type.

getResultType

public static PType getResultType(PType type1,
                                  PType type2)
                           throws TypingException
This method returns the type which would result from applying a binary operator to 2 objects of given PType. If the two PTypes are incompatible, a TypingException is thrown.

Parameters:
type1 - The PType of the first object.
type2 - The PType of the second object.
Returns:
The PType of the result.
TypingException