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_)
|