Uses of Class
lmf.formula.csp.type.CspType

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)