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
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 |
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
PTypeSpaceMedor
public PTypeSpaceMedor()
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