|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use CspType | |
---|---|
lmf.formula.csp.node | |
lmf.formula.csp.semantic.declaration | |
lmf.formula.csp.semantic.exception | |
lmf.formula.csp.type |
Uses of CspType in lmf.formula.csp.node |
---|
Methods in lmf.formula.csp.node that return CspType | |
---|---|
CspType |
ACspFunctionDefinition.getCspType()
|
CspType |
ACspFunctionCallExpr.getCspType()
|
CspType |
ACspConstantDefinition.getCspType()
|
CspType |
ACspConstantCallExpr.getCspType()
|
Methods in lmf.formula.csp.node with parameters of type CspType | |
---|---|
void |
ACspFunctionDefinition.setCspType(CspType cspType)
|
void |
ACspFunctionCallExpr.setCspType(CspType cspType)
|
void |
ACspConstantDefinition.setCspType(CspType cspType)
|
void |
ACspConstantCallExpr.setCspType(CspType cspType)
|
Uses of CspType in lmf.formula.csp.semantic.declaration |
---|
Methods in lmf.formula.csp.semantic.declaration that return CspType | |
---|---|
CspType |
CspDeclaration.getCspType()
|
Methods in lmf.formula.csp.semantic.declaration that return types with arguments of type CspType | |
---|---|
java.util.Hashtable<Node,CspType> |
CspAbstractDeclaration.getBranches()
|
Methods in lmf.formula.csp.semantic.declaration with parameters of type CspType | |
---|---|
void |
CspDeclaration.setCspType(CspType value)
|
Method parameters in lmf.formula.csp.semantic.declaration with type arguments of type CspType | |
---|---|
void |
CspAbstractDeclaration.setBranches(java.util.Hashtable<Node,CspType> value)
|
Constructors in lmf.formula.csp.semantic.declaration with parameters of type CspType | |
---|---|
CspAbstractDeclaration(java.lang.String name,
CspType cspType)
|
|
CspChannelDeclaration(java.lang.String name,
CspType type)
|
|
CspDatatypeDeclaration(java.lang.String name,
CspType type)
|
|
CspDeclaration(java.lang.String name,
CspType cspType)
|
|
CspNametypeDeclaration(java.lang.String name,
CspType type)
|
|
CspSubtypeDeclaration(java.lang.String name,
CspType type)
|
|
CspTypeDeclaration(java.lang.String name,
CspType type)
|
|
CspValueDeclaration(java.lang.String name,
CspType type)
|
|
CspVariableDeclaration(java.lang.String name,
CspType type)
|
Uses of CspType in lmf.formula.csp.semantic.exception |
---|
Methods in lmf.formula.csp.semantic.exception that return CspType | |
---|---|
CspType |
CspTypeException.getExpectedType()
|
CspType |
CspTypeException.getFoundType()
|
Constructors in lmf.formula.csp.semantic.exception with parameters of type CspType | |
---|---|
CspTypeException(java.lang.String msg,
CspType expectedType,
Node node,
CspType foundType)
|
Uses of CspType in lmf.formula.csp.type |
---|
Subclasses of CspType in lmf.formula.csp.type | |
---|---|
class |
CspBoolType
CspBoolType. |
class |
CspCollectionType
CspCollectionType. |
class |
CspCompositeType
CspCompositeType. |
class |
CspDataType
CspDataType. |
class |
CspEventType
CspEventType. |
class |
CspFunctionType
CspFunctionType. |
class |
CspIntRangeType
CspIntRangeType. |
class |
CspIntType
CspIntType. |
class |
CspProcessType
CspProcessType. |
class |
CspSequenceType
CspSequenceType. |
class |
CspSetType
CspSetType. |
class |
CspSubType
CspSubType. |
class |
CspTupleType
CspDataType. |
class |
CspUnknownType
CspUnknownType. |
Methods in lmf.formula.csp.type that return CspType | |
---|---|
CspType |
CspCollectionType.getElemType()
|
CspType[] |
CspFunctionType.getParametersTypes()
|
CspType |
CspFunctionType.getReturnType()
|
CspType[] |
CspTupleType.getTypes()
|
CspType[] |
CspCompositeType.getTypes()
|
Methods in lmf.formula.csp.type with parameters of type CspType | |
---|---|
void |
CspDataType.addValue(java.lang.String tagName,
CspType cspType)
|
boolean |
CspType.match(CspType cspType)
|
boolean |
CspProcessType.match(CspType cspType)
|
void |
CspFunctionType.setReturnType(CspType value)
|
Constructors in lmf.formula.csp.type with parameters of type CspType | |
---|---|
CspCollectionType(java.lang.String name,
CspType elemType)
|
|
CspCompositeType(java.lang.String name,
CspType... types)
|
|
CspFunctionType(java.lang.String name,
CspType returnType,
CspType... parametersTypes)
|
|
CspFunctionType(java.lang.String name,
CspType returnType,
CspType... parametersTypes)
|
|
CspSequenceType(CspType elemType)
|
|
CspSetType(CspType elemType)
|
|
CspTupleType(java.lang.String name,
CspType... types)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |