Uses of Class
lmf.formula.csp.node.TName

Packages that use TName
lmf.formula.csp.analysis   
lmf.formula.csp.node   
 

Uses of TName in lmf.formula.csp.analysis
 

Methods in lmf.formula.csp.analysis with parameters of type TName
 void AnalysisAdapter.caseTName(TName node)
           
 void Analysis.caseTName(TName node)
           
 

Uses of TName in lmf.formula.csp.node
 

Methods in lmf.formula.csp.node that return TName
 TName ACspEvent.getChannelName()
           
 TName ACspRefinementCheckExpr.getLeftProcess()
           
 TName ACspModuleEvent.getModuleName()
           
 TName ACspVariable.getName()
           
 TName ACspType.getName()
           
 TName ACspSubtypeDefinition.getName()
           
 TName ACspNametypeDefinition.getName()
           
 TName ACspNameCallExpr.getName()
           
 TName ACspModuleCall.getName()
           
 TName ACspModule.getName()
           
 TName ACspModel.getName()
           
 TName ACspLinkedNameList.getName()
           
 TName ACspInstance.getName()
           
 TName ACspDatatypeDefinition.getName()
           
 TName ACspCheckCondition.getName()
           
 TName ACspChannel.getName()
           
 TName ACspCall1DotExpr.getName()
           
 TName ACspBaseNameList.getName()
           
 TName ACspAbstractType.getName()
           
 TName ACspAbstractDefinition.getName()
           
 TName ACspAbstractCallExpr.getName()
           
 TName ACspProcessDefinition.getName()
           
 TName ACspProcessCallExpr.getName()
           
 TName ACspFunctionDefinition.getName()
           
 TName ACspFunctionCallExpr.getName()
           
 TName ACspConstantDefinition.getName()
           
 TName ACspConstantCallExpr.getName()
           
 TName ACspRefinementCheckExpr.getRightProcess()
           
 TName ACspSimpleBranch.getTagName()
           
 TName ACspComplexBranch.getTagName()
           
 

Methods in lmf.formula.csp.node with parameters of type TName
 void ACspEvent.setChannelName(TName node)
           
 void ACspRefinementCheckExpr.setLeftProcess(TName node)
           
 void ACspModuleEvent.setModuleName(TName node)
           
 void ACspVariable.setName(TName node)
           
 void ACspType.setName(TName node)
           
 void ACspSubtypeDefinition.setName(TName node)
           
 void ACspNametypeDefinition.setName(TName node)
           
 void ACspNameCallExpr.setName(TName node)
           
 void ACspModuleCall.setName(TName node)
           
 void ACspModule.setName(TName node)
           
 void ACspModel.setName(TName node)
           
 void ACspLinkedNameList.setName(TName node)
           
 void ACspInstance.setName(TName node)
           
 void ACspDatatypeDefinition.setName(TName node)
           
 void ACspCheckCondition.setName(TName node)
           
 void ACspChannel.setName(TName node)
           
 void ACspCall1DotExpr.setName(TName node)
           
 void ACspBaseNameList.setName(TName node)
           
 void ACspAbstractType.setName(TName node)
           
 void ACspAbstractDefinition.setName(TName node)
           
 void ACspAbstractCallExpr.setName(TName node)
           
 void ACspProcessDefinition.setName(TName node)
           
 void ACspProcessCallExpr.setName(TName node)
           
 void ACspFunctionDefinition.setName(TName node)
           
 void ACspFunctionCallExpr.setName(TName node)
           
 void ACspConstantDefinition.setName(TName node)
           
 void ACspConstantCallExpr.setName(TName node)
           
 void ACspRefinementCheckExpr.setRightProcess(TName node)
           
 void ACspSimpleBranch.setTagName(TName node)
           
 void ACspComplexBranch.setTagName(TName node)
           
 

Constructors in lmf.formula.csp.node with parameters of type TName
ACspAbstractCallExpr(TName _name_, PArguments _arguments_)
           
ACspAbstractDefinition(TName _name_, PParameters _parameters_, TDefs _defs_, PExpression _expression_)
           
ACspAbstractType(TName _name_, PArguments _arguments_)
           
ACspBaseNameList(TName _name_)
           
ACspCall1DotExpr(TName _name_, PArguments _arguments_, java.util.List<PProjection> _projection_)
           
ACspChannel(TName _name_)
           
ACspCheckCondition(TName _name_, TFree _free_, PModelReference _modelReference_)
           
ACspComplexBranch(TName _tagName_, TDot _dot_, PCompositeType _cspType_)
           
ACspConstantCallExpr(TName _name_)
           
ACspConstantDefinition(TName _name_, TDefs _defs_, PExpression _expression_)
           
ACspDatatypeDefinition(TDatatype _datatype_, TName _name_, TDefs _defs_, PBranchList _branchList_)
           
ACspEvent(TName _channelName_, java.util.List<PProjection> _projection_, java.util.List<PComunication> _comunication_)
           
ACspFunctionCallExpr(TName _name_, PArguments _arguments_)
           
ACspFunctionDefinition(TName _name_, PParameters _parameters_, TDefs _defs_, PExpression _expression_)
           
ACspInstance(TInstance _instance_, TName _name_, TDefs _defs_, PModuleCall _moduleCall_)
           
ACspLinkedNameList(TName _name_, TComma _comma_, PNameList _next_)
           
ACspModel(TName _name_)
           
ACspModule(TModule _module_, TName _name_, PParameters _parameters_, TExports _exports_, PSpecification _specification_, TEndModule _endModule_)
           
ACspModuleCall(TName _name_, PArguments _arguments_)
           
ACspModuleEvent(TName _moduleName_, TDcolon _dcolon_, PEvent _event_)
           
ACspNameCallExpr(TName _name_)
           
ACspNametypeDefinition(TNametype _nametype_, TName _name_, TDefs _defs_, PCompositeType _cspType_)
           
ACspProcessCallExpr(TName _name_)
           
ACspProcessCallExpr(TName _name_, PArguments _arguments_)
           
ACspProcessDefinition(TName _name_, PParameters _parameters_, TDefs _defs_, PExpression _expression_)
           
ACspRefinementCheckExpr(TName _leftProcess_, TLBracket _lBracket_, PModel _model_, TDefs _defs_, TName _rightProcess_)
           
ACspSimpleBranch(TName _tagName_)
           
ACspSubtypeDefinition(TSubtype _subtype_, TName _name_, TDefs _defs_, PBranchList _branchList_)
           
ACspType(TName _name_)
           
ACspVariable(TName _name_, TColon _colon_, PExpr _expression_)