public class signalTreeAPI
extends java.lang.Object
Constructor and Description |
---|
signalTreeAPI()
Class constructor
|
Modifier and Type | Method and Description |
---|---|
java.lang.String |
Identifier_GetStr(Identifier id)
Returns a string that represents an identifier
|
boolean |
Is_PredefinedType(java.lang.String str)
Returns whether str is a predefined type (in string)
|
SignalsDeclarationImpl |
mkBooleanDecl(java.lang.String name) |
SignalsDeclarationImpl |
mkDecl(java.lang.String id,
java.lang.String typeId) |
SignalsDeclarationImpl |
mkDecl(java.lang.String id,
Type vtype) |
SignalsDefinitionImpl |
mkEquation(ExprSignal left_expr,
ExprSignal right_expr) |
ExprProcess |
mkEquation(int op,
ExprSignal leftExp,
ExprSignal rightExp)
Makes an abstract tree denoting an equation.
|
SignalsDeclarationImpl |
mkEventDecl(java.lang.String id) |
IdentifierImpl |
mkIdentifier(java.lang.String str)
Returns a identifier from a string (str)
|
SignalsDeclarationImpl |
mkIntegerDecl(java.lang.String id) |
SignalsPartialDefinitionImpl |
mkPartialEquation(ExprSignal left_expr,
ExprSignal right_expr) |
Type |
mkPredefinedType(int signalTypeOperator)
Returns a predefined type based on the integer value
|
SignalsDeclarationImpl |
mkStringDecl(java.lang.String id) |
Identifier |
Process_GetID(ProcessModel p)
Returns the identifier of a process p
|
void |
STree_addaConstantToModule(ModuleImpl p,
ConstantsDeclarationImpl adecl)
Inserts a type declaration (adecl) to a module (m).
|
void |
STree_addaDeclarationToProcess(ProcessModelImpl p,
Declaration decl)
Inserts a declaration (decl) to the local declarations of a model (p).
|
void |
STree_addaTypeDeclarationToModule(ModuleImpl p,
TypesDeclarationImpl adecl)
Inserts a type declaration (adecl) to a module (m).
|
void |
STree_addComment(SignalElementImpl sig_element,
java.util.ArrayList<java.lang.String> str_list,
boolean bpre)
Adds comments (str_list) to a Signal element (sig_element) in prefix position if bpre, postfix position otherwise
|
void |
STree_addComment(SignalElementImpl vt,
java.lang.String vcomment,
boolean b)
Add a comment (vcomment) to a Signal tree (vt), in prefix position if b, else in postfix position.
|
void |
STree_addDeclarations(ProcessModelImpl p,
java.util.ArrayList<Declaration> l_decl)
Inserts a list of declarations (l_decl) to the local declarations of a model (p).
|
void |
STree_addDeclarationToaInterface(ProcessModelInterfaceImpl inter,
TypesOrSignalsDeclaration vdecsig,
int i)
Adds a signal (vdecsig) to an interface (inter)
i= 1 for parameters, 2 for inputs, 3 for outputs
|
void |
STree_addDeclarationToConfinedExpr(RestrictionProcess p_conf,
java.util.ArrayList<Declaration> vdecl)
Adds a list of declarations(vdecl) to an assumed confined expression (p_conf).
|
void |
STree_addDeclarationToInterface(ProcessModelImpl vprocess,
TypesOrSignalsDeclaration vdecsig,
int i)
Add a signal to a process (vprocess)'s interface
i= 1 for parameters, 2 for inputs, 3 for outputs
|
org.eclipse.emf.common.util.EList<Declaration> |
STree_addDeclarationToList(org.eclipse.emf.common.util.EList<Declaration> ldecl,
Declaration vdecl)
Adds a declaration (vdecl) to a list of declarations (ldecl).
|
void |
STree_addDeclarationToProcess(ProcessModelImpl vtreeproc,
Declaration decl) |
void |
STree_addDeclarationToProcessType(ProcessTypeImpl process_type,
TypesOrSignalsDeclaration vdecsig,
int i)
Add a declaration (vdecsig) to the interface of a ProcessType (process_type)
|
void |
STree_addDefinition(ProcessModelImpl vprocess,
SignalsDefinitionImpl vdef)
Add a signal definition to a process (vprocess)
|
ProcessModelImpl |
STree_addEmptyInterface(ProcessModelImpl p_proc)
Adds a an empty interface for a process (p_proc)
|
org.eclipse.emf.common.util.EList<Declaration> |
STree_addEndDeclarationToList(org.eclipse.emf.common.util.EList<Declaration> ldecl,
Declaration vdecl)
Adds a declaration (vdecl) to the end of the list of declarations (ldecl).
|
void |
STree_addExpressionOfProcessToaModel(ProcessModelImpl vtreeproc,
ExprProcess vexprpro)
Adds (tail) a process expression (vexprpro) to a process model (vtreeproc).
|
void |
STree_addExprToComposition_Post(CompositionImpl vlfeed,
ExprProcess vexpapp)
Adds an element (vexpapp) at the tail of a composition list (vlfeed).
|
void |
STree_addExprToComposition_Pre(CompositionImpl vlfeed,
ExprProcess vexpapp)
Adds an element (vexpapp) at the head of a composition list (vlfeed).
|
void |
STree_addLabelsInModel(java.util.ArrayList<Identifier> lids,
ProcessModelImpl p)
Declares, in process p, the list of identifiers (lids) as labels.
|
RestrictionProcessImpl |
STree_addLocalBlock(DescriptionImpl p_desc)
Adds an empty "local declaration (where)" area in second child of the p_dec tree (Description).
|
void |
STree_addLocalDeclaration(SignalElementImpl aProcess,
java.util.ArrayList<Declaration> vdecl)
Adds the declaration (vdecl) as local to a model or a module (aProcess) or a confined process.
|
void |
STree_addModuleIDToAModulesImport(ModulesImportImpl usemodule,
Identifier mid)
Adds a module ID (mid) to the end of a ModulesImportImpl (usemodule): use ..., mid;
|
void |
STree_addModuleToRootModule(ListModuleImpl lmodule,
ModuleImpl amodule)
Add a module (amodule) to the root ListModule (lmodule)
|
void |
STree_addNullProc(ProcessModelImpl p)
Adds a null proc to a process model (p).
|
void |
STree_addPragma(ProcessModelImpl aProcess,
PragmaImpl apragma)
Adds a pragma (apragma) to a process (aProcess).
|
void |
STree_addPreExpressionOfProcessToaModel(ProcessModelImpl vtreeproc,
ExprProcess vexprpro)
Adds (head) a process expression (vexprpro) to a process model (vtreeproc).
|
void |
STree_addProcessDeclaration(SignalElementImpl vtreeproc,
ProcessModelImpl vtreeproapp)
Adds a process declaration (vtreeproapp) to a process or module (vtreeproc)
|
void |
STree_addProcessDeclarationToModule(ModuleImpl vtreeproc,
ProcessModelImpl vtreeproapp)
Adds a process declaration (vtreeproapp) to a module (vtreeproc)
|
void |
STree_addProcessDeclarationToProcess(ProcessModelImpl vtreeproc,
ProcessModelImpl vtreeproapp)
Adds a process declaration (vtreeproapp) to a model (vtreeproc) as a local declaration
|
void |
STree_addSpecification(ProcessModelImpl process,
ExprProcess vtreeSpecif)
Adds a specification object (vtreeSpecif) to a process model (process).
|
org.eclipse.emf.common.util.EList<ExprSignal> |
STree_addSynchro(org.eclipse.emf.common.util.EList<ExprSignal> l,
ExprSignal e)
Adds an expression (e) to a list of synchronizations (l).
|
void |
STree_addTypeDeclarationToProcess(ProcessModelImpl vtreeproc,
TypesDeclaration type_decl)
Adds a type declaration (type_decl) to a process model (vtreeproc) as a local declaration
|
org.eclipse.emf.common.util.EList<TypeDefinition> |
STree_addTypeToTypes(org.eclipse.emf.common.util.EList<TypeDefinition> vtypes,
TypeDefinition vtype)
Adds a type declaration to a list of type definitions
|
void |
STree_adduseModuleToAModule(ModuleImpl amodule,
Identifier mid)
Adds a module ID (mid) to a ModuleImpl (amodule)
Adds mid to the last of the ModulesImport list:
use xx, ...;
use yy, ..., mid;
|
void |
STree_adduseModuleToAProcess(ProcessModelImpl aprocess,
Identifier mid,
boolean bpre)
Adds a use module ID (mid) to a ProcessModelImpl (aprocess) in position pre if bpre is true, else adds it to the last of the ModulesImport list
Adds mid to the last of the ModulesImport list:
use xx, ...;
use yy, ..., mid;
|
void |
STree_deleteParameters(ProcessModelImpl p_proc)
Removes the parameters tree of a model (p_proc).
|
ProcessModelImpl |
STree_GetProcessDeclarationFromProcess(ProcessModelImpl vprocess,
java.lang.String aname)
Gets a process declaration whose name is aname, that is defined in the vprocess
|
ProcessTypeImpl |
STree_GetProcessTypeDeclaration(SignalElementImpl vtreeproc,
java.lang.String aname) |
ProcessTypeImpl |
STree_GetProcessTypeDeclarationFromAModule(ModuleImpl vmodule,
java.lang.String aname) |
ProcessTypeImpl |
STree_GetProcessTypeDeclarationFromAProcess(ProcessModelImpl vprocess,
java.lang.String aname)
Gets a ProcessTypeImpl (process_type) whose name is aname, defined in the ProcessModel (vprocess).
|
java.lang.String |
STree_GetStringName(Identifier e)
Gets the string name of an identifier (e)
|
TypeDescriptionImpl |
STree_GetTypeDescriptionFromAModule(ModuleImpl vmodule,
java.lang.String aname) |
boolean |
STree_IsProcessHasOutput(ProcessModelImpl p)
Returns whether a process contains output signals
|
boolean |
STree_IsProcessNull(ProcessModelImpl p)
Returns whether a process body is null or not
|
ClockImpl |
STree_mkClock(ExprSignal exp)
Makes an abstract tree denoting a ClockImpl (the clock of the expression): ^ exp
|
ClockEqualityImpl |
STree_mkClockEquality(ExprSignal exp1,
ExprSignal exp2)
Makes an abstract tree denoting an ClockEqualityImpl: exp1 ^= exp2
|
ClockEqualityImpl |
STree_mkClockEqualitys(java.util.ArrayList<ExprSignal> exps)
Makes an abstract tree denoting an ClockEqualityImpl: exp1 ^= exp2 ^= ...
|
ClockUnionImpl |
STree_mkClockUnion(ExprSignal exp1,
ExprSignal exp2)
Makes an abstract tree denoting an ClockUnionImpl: exp1 ^+ exp2
|
ProcessCallImpl |
STree_mkCompleteModelCall(ProcessModelImpl process)
Makes a complete process call of a process model (process)
The names of the formal declaration (parameters, intputs, outputs) are taken as effective names for the call.
|
ProcessCallImpl |
STree_mkCompleteProcessCall(IdentifierImpl pname,
java.util.ArrayList<ExprParam> lparam,
java.util.ArrayList<ExprSignal> lin)
Makes a complete process call of an identifier (pname) with the effective parameters and inputs
|
SignalsDefinitionImpl |
STree_mkCompleteProcessCallEquation(IdentifierImpl pname,
java.util.ArrayList<ExprParam> lparam,
java.util.ArrayList<ExprSignal> lin,
java.util.ArrayList<ExprSignal> lout)
Makes an equation of a complete process call
A process instance of identifier (pname).
|
RestrictionProcessImpl |
STree_mkConfinedExpression(ExprProcess expr,
org.eclipse.emf.common.util.EList<Declaration> decl)
Makes an abtract tree representing a Signal confined process
\bsg (| expr |) where
|
ConstantsDeclarationImpl |
STree_mkConstantDeclaration(org.eclipse.emf.common.util.EList<ConstantDefinition> p_def,
Type p_typ)
Makes a constant declaration with p_typ as type and p_def a list of definitions of constants.
|
TypeDescriptionImpl |
STree_mkDclType(Identifier name,
TypeDescriptionValue description,
ExprSignal vinit)
Makes a type declaration with name as \
|
DefaultImpl |
STree_mkDefault(ExprSignal exp1,
ExprSignal exp2)
Makes an abstract tree denoting an default expression: exp1 default exp2.
|
UnconditionedDependences |
STree_mkDependency(Signals sigs,
java.util.ArrayList<Signals> list)
sigs --> list
|
ConstantDoubleRealImpl |
STree_mkDoubleRealConstant(java.lang.String constantvalue)
Makess a constant double real (cr) with (string) value of constantvalue
|
DescriptionImpl |
STree_mkEmptyBody()
Makes an empty body tree (empty list of pragma, empty body)
\bsg
|
RestrictionProcessImpl |
STree_mkEmptyConfinedExpr()
Returns an empty confined process.
|
ConstantEnumImpl |
STree_mkEnumConstant(java.lang.String EnumType_name,
java.lang.String constantvalue)
Makess a constant enumeration (constant_enum): EnumType_name#constantvalue
|
EqualImpl |
STree_mkEqual(ExprSignal exp1,
ExprSignal exp2)
Makes an abstract tree denoting an EqualImpl: exp1 = exp2
|
FieldAccessImpl |
STree_mkFieldAccess(java.lang.String expr_name,
java.lang.String id_name)
Makes a field access (field_access): expr_name.id_name
|
FromImpl |
STree_mkFrom(ExprSignal exp1,
ExprSignal exp2)
Makes an abstract tree denoting an FromImpl: exp1 from exp2
|
InterfaceDefinition |
STree_mkIDInterface(java.lang.String id_name)
Makes an interface, which is an identifier, whose name is id_name
|
ConstantIntegerImpl |
STree_mkIntegerConstant(java.lang.String constantvalue)
Makess a constant Integer (ci) with (string) value of constantvalue
|
ProcessModelInterfaceImpl |
STree_mkInterface(java.util.ArrayList<TypesOrSignalsDeclaration> param,
java.util.ArrayList<TypesOrSignalsDeclaration> ins,
java.util.ArrayList<TypesOrSignalsDeclaration> outs,
ExternalGraphImpl spec)
Makes an interface with the list of parameters (param), inputs (ins), outputs (outs) and external graph (spec)
\bsg
|
LabelledProcessImpl |
STree_mkLabelledModelCall(java.lang.String label,
java.lang.String pname)
Makes a labeled process call of a process (pname)
|
LabelledProcessImpl |
STree_mkLabelledProcessCall(java.lang.String label,
ExprProcess exp)
Makes a labeled process call of a process
|
org.eclipse.emf.common.util.EList<Declaration> |
STree_mkLocalDeclaration(ProcessModelImpl p_proc)
Makes an empty tree local declarations of a model (p_proc).
|
ProcessCallImpl |
STree_mkModelCall(java.lang.String name)
Makes a process call of a string name
The calling process expression to name without parameters.
|
ModuleImpl |
STree_mkModule(Identifier name)
Makes an empty module with an identifier (name).
|
PragmaImpl |
STree_mkPragma(java.lang.String kw,
org.eclipse.emf.common.util.EList<Identifier> obj,
StringValue stmt)
Make a pragma with kw as the name of \
|
PragmaImpl |
STree_mkPragmaIdent(Identifier id,
org.eclipse.emf.common.util.EList<Identifier> obj,
StringValue stmt)
Make a pragma with id as \
|
org.eclipse.emf.common.util.EList<Pragma> |
STree_mkPragmasList(ProcessModelImpl process)
Adds an empty pragmas area for a model (process).
|
PredefinedTypeImpl |
STree_mkPredefinedType(java.lang.String str)
Returns a Signal predefined type is str is a key word of predefined type in Signal
|
ProcessModelImpl |
STree_mkProcess(Identifier p_nom,
ProcessModelInterfaceImpl p_inte,
Description p_desc)
Makes a model of a process with its name (p_nom), its interface (p_inte) and its description (expression + local declarations) (p_desc)
|
ProcessExpansionImpl |
STree_mkProcessCallWithParameters(Identifier pname,
java.util.ArrayList<ExprParam> lparam)
Makes a process call of identifier (pname) with a list of effective parameters
|
ConstantRealImpl |
STree_mkRealConstant(java.lang.String constantvalue)
Makess a constant real (cr) with (string) value of constantvalue
|
ProcessCallImpl |
STree_mkReferenceToModel(Identifier id)
Makes a process call of an identifier (id)
|
PredefinedTypeImpl |
STree_mkSamePredefinedType(SignalsDeclarationImpl s)
Creates a predefined type that is the same as the signal s's type
|
SharedVariablesDeclarationImpl |
STree_mkSharedVariableDeclaration(IdentifierImpl id,
Type vtype,
java.lang.Object vinit)
Returns a signal declaration (in the form of: vtype id init vinit)
|
SignalsDeclarationImpl |
STree_mkSignalDeclaration(IdentifierImpl id,
Type vtype,
java.lang.Object vinit)
Returns a signal declaration (in the form of: vtype id init vinit)
|
ProcessModelInterfaceImpl |
STree_mkSkeletonInterface()
Makes a skeleton empty interface
The skeleton of an interface with: empty lists for parameters, inputs, outputs,
and empty tree for the specification.
|
ProcessModelImpl |
STree_mkSkeletonModel(Identifier id)
Returns a skeleton of a process
|
ProcessModelImpl |
STree_mkSkeletonModel(Identifier id,
int op)
/**
Returns a skeleton of a process if op=opprocess, else null
|
ListModuleImpl |
STree_mkSkeletonModule()
Returns a skeleton of listmodule
|
ConstantStringImpl |
STree_mkStringConstant(java.lang.String constantvalue)
Makes a constant string (constant_str) with string value of constantvalue
|
StringValueImpl |
STree_mkStringValue(java.lang.String constantvalue)
Makes a StringValue with string value of constantvalue
|
java.util.ArrayList<ExprSignal> |
STree_mkSynchroIni(ExprSignal e)
Makes a list of synchronizations initialized with e (i.e. e ^= ).
|
TypesDeclarationImpl |
STree_mkTypeDeclaration(Identifier type_id,
TypeDescriptionValue value)
returns a type declaration: type type_id = value;
|
UnaryWhenImpl |
STree_mkUnaryWhen(ExprSignal exp)
Makes an abstract tree denoting an UnaryWhenImpl: when exp
|
WhenImpl |
STree_mkWhen(ExprSignal exp1,
ExprSignal exp2)
Makes a when expression: exp1 when exp2
|
void |
STree_rmNamedDeclarationFromInterface(ProcessModelImpl vprocess,
java.lang.String dec_name,
int i)
Remove a signal (named dec_name) from the interface of a process (vprocess)
i= 1 for parameters, 2 for inputs, 3 for outputs
|
void |
STree_setDescription(ProcessModelImpl process,
DescriptionImpl desc)
Sets a description (desc) to an assumed model (process).
|
void |
STree_setExternalGraph(ProcessModelImpl proc,
ExternalGraphImpl eg)
Sets the "external graph" of a model (proc) by eg.
|
java.util.ArrayList<Declaration> |
STree_setLocalDeclarations(ProcessModelImpl p,
org.eclipse.emf.common.util.EList<Declaration> ndecls)
Sets (replaces?)
|
void |
STree_setNameModel(ProcessModelImpl vprocess,
Identifier id)
Set identifier of a process (vprocess)'s
|
void |
STree_setParameters(ProcessModelImpl proc,
org.eclipse.emf.common.util.EList<TypesOrSignalsDeclaration> param)
Replaces the parameters of a model (proc) by param.
|
void |
STree_setPragmas(ProcessModelImpl proc,
org.eclipse.emf.common.util.EList<Pragma> pragmas)
Assigns (replaces) the pragmas (pragmas) to a model (proc).
|
public IdentifierImpl mkIdentifier(java.lang.String str)
str
- a stringpublic java.lang.String Identifier_GetStr(Identifier id)
id
- an identifierpublic Identifier Process_GetID(ProcessModel p)
p
- a processpublic boolean Is_PredefinedType(java.lang.String str)
str
- public PredefinedTypeImpl STree_mkPredefinedType(java.lang.String str)
str
- public PredefinedTypeImpl STree_mkSamePredefinedType(SignalsDeclarationImpl s)
s
- public Type mkPredefinedType(int signalTypeOperator)
signalTypeOperator
- an integerpublic TypesDeclarationImpl STree_mkTypeDeclaration(Identifier type_id, TypeDescriptionValue value)
type_id
- identifier of typevalue
- public void STree_setNameModel(ProcessModelImpl vprocess, Identifier id)
vprocess
- a processid
- an identifierpublic ProcessModelImpl STree_mkSkeletonModel(Identifier id)
id
- an identifier of this processop
- an integerpublic ProcessModelImpl STree_mkSkeletonModel(Identifier id, int op)
id
- an identifier of this processop
- an integerpublic ListModuleImpl STree_mkSkeletonModule()
public void STree_addModuleToRootModule(ListModuleImpl lmodule, ModuleImpl amodule)
lmodule
- a root ListModuleImpl objectamodule
- a modulepublic SignalsDeclarationImpl STree_mkSignalDeclaration(IdentifierImpl id, Type vtype, java.lang.Object vinit)
id
- the name of this signalvtype
- the typevinit
- an init valuepublic SharedVariablesDeclarationImpl STree_mkSharedVariableDeclaration(IdentifierImpl id, Type vtype, java.lang.Object vinit)
id
- the name of this signalvtype
- the typevinit
- an init valuepublic void STree_addDeclarationToInterface(ProcessModelImpl vprocess, TypesOrSignalsDeclaration vdecsig, int i)
i= 1 for parameters, 2 for inputs, 3 for outputs
vprocess
- a processvdecsig
- a signal or type declarationi
- an integerpublic void STree_rmNamedDeclarationFromInterface(ProcessModelImpl vprocess, java.lang.String dec_name, int i)
i= 1 for parameters, 2 for inputs, 3 for outputs
vprocess
- a processdec_name
- the name of this signali
- an integerpublic void STree_addDeclarationToaInterface(ProcessModelInterfaceImpl inter, TypesOrSignalsDeclaration vdecsig, int i)
i= 1 for parameters, 2 for inputs, 3 for outputs
inter
- an interfacevdecsig
- a signali
- an integerpublic void STree_addDeclarationToProcessType(ProcessTypeImpl process_type, TypesOrSignalsDeclaration vdecsig, int i)
process_type
- a process typevdecsig
- a signal declarationi
- an integer (i=1 for parameter, i=2 for input, i=3 for output)public void STree_addDefinition(ProcessModelImpl vprocess, SignalsDefinitionImpl vdef)
vprocess
- vdef
- public void STree_addProcessDeclarationToProcess(ProcessModelImpl vtreeproc, ProcessModelImpl vtreeproapp)
vtreeproc
- a process declaration where vtreeproapp is to be added intovtreeproapp
- a processpublic void STree_addProcessDeclarationToModule(ModuleImpl vtreeproc, ProcessModelImpl vtreeproapp)
vtreeproc
- a module where vtreeproapp is to be added intovtreeproapp
- a processpublic void STree_addProcessDeclaration(SignalElementImpl vtreeproc, ProcessModelImpl vtreeproapp)
vtreeproc
- a process or module that vtreeproapp is to be added intovtreeproapp
- a processpublic void STree_addDeclarationToProcess(ProcessModelImpl vtreeproc, Declaration decl)
public void STree_addTypeDeclarationToProcess(ProcessModelImpl vtreeproc, TypesDeclaration type_decl)
vtreeproc
- a process modeltype_decl
- a type declarationpublic ProcessModelImpl STree_addEmptyInterface(ProcessModelImpl p_proc)
p_proc
- a process modelpublic DescriptionImpl STree_mkEmptyBody()
public RestrictionProcessImpl STree_mkEmptyConfinedExpr()
public ProcessModelInterfaceImpl STree_mkSkeletonInterface()
The skeleton of an interface with: empty lists for parameters, inputs, outputs,
and empty tree for the specification.
\bsg
public InterfaceDefinition STree_mkIDInterface(java.lang.String id_name)
id_name
- a string name of this identiferpublic ProcessModelImpl STree_mkProcess(Identifier p_nom, ProcessModelInterfaceImpl p_inte, Description p_desc)
p_nom
- an identifier of this process's namep_inte
- an interfacep_desc
- a body descriptionpublic ProcessModelInterfaceImpl STree_mkInterface(java.util.ArrayList<TypesOrSignalsDeclaration> param, java.util.ArrayList<TypesOrSignalsDeclaration> ins, java.util.ArrayList<TypesOrSignalsDeclaration> outs, ExternalGraphImpl spec)
\bsg
param
- a list of parametersins
- a list of input signalsouts
- a list of output signalsspec
- specificationpublic ProcessCallImpl STree_mkReferenceToModel(Identifier id)
id
- an identifierpublic ProcessCallImpl STree_mkModelCall(java.lang.String name)
The calling process expression to name without parameters.
name
- a string name of the called processpublic ProcessCallImpl STree_mkCompleteProcessCall(IdentifierImpl pname, java.util.ArrayList<ExprParam> lparam, java.util.ArrayList<ExprSignal> lin)
pname
- an identifierlparam
- a list of parameterslin
- a list of input signalspublic ProcessExpansionImpl STree_mkProcessCallWithParameters(Identifier pname, java.util.ArrayList<ExprParam> lparam)
pname
- an identifierlparam
- a list of parameterspublic ProcessCallImpl STree_mkCompleteModelCall(ProcessModelImpl process)
The names of the formal declaration (parameters, intputs, outputs) are taken as effective names for the call.
process
- a process modelpublic SignalsDefinitionImpl STree_mkCompleteProcessCallEquation(IdentifierImpl pname, java.util.ArrayList<ExprParam> lparam, java.util.ArrayList<ExprSignal> lin, java.util.ArrayList<ExprSignal> lout)
A process instance of identifier (pname). In the form of (lout) := pname{lparam}(lin). The name of the called process, a list of parameters, inputs and outputs are given. If one output, use ExprSignal, otherwise, use ListFlows instead
pname
- an identifier of the called processlparam
- a list of parameterslin
- a list of input signalslout
- a list of output signalspublic void STree_addExpressionOfProcessToaModel(ProcessModelImpl vtreeproc, ExprProcess vexprpro)
vtreeproc
- a process modelvexprpro
- an expressionpublic void STree_addPreExpressionOfProcessToaModel(ProcessModelImpl vtreeproc, ExprProcess vexprpro)
vtreeproc
- a process modelvexprpro
- an expressionpublic void STree_addExprToComposition_Post(CompositionImpl vlfeed, ExprProcess vexpapp)
vlfeed
- a compoeition object, created when empty.vexpapp
- (in) element to add (assumed: process expression).public void STree_addExprToComposition_Pre(CompositionImpl vlfeed, ExprProcess vexpapp)
vlfeed
- (in/out) feed list, created when empty.vexpapp
- (in) element to add (assumed : process expression).public RestrictionProcessImpl STree_mkConfinedExpression(ExprProcess expr, org.eclipse.emf.common.util.EList<Declaration> decl)
\bsg (| expr |) where
expr
- an expressiondecl
- a list of declarationpublic void STree_setDescription(ProcessModelImpl process, DescriptionImpl desc)
process
- a process modeldesc
- a body descriptionpublic void STree_addDeclarations(ProcessModelImpl p, java.util.ArrayList<Declaration> l_decl)
p
- a process modell_decl
- a list of declarationspublic void STree_addaDeclarationToProcess(ProcessModelImpl p, Declaration decl)
p
- a process modeldecl
- a declarationpublic org.eclipse.emf.common.util.EList<Declaration> STree_addDeclarationToList(org.eclipse.emf.common.util.EList<Declaration> ldecl, Declaration vdecl)
For typed identifier, it searches the existency of such type for adding. Otherwise, it adds at the head of the list.
ldecl
- a list of declarationsvdecl
- a declarationpublic org.eclipse.emf.common.util.EList<Declaration> STree_addEndDeclarationToList(org.eclipse.emf.common.util.EList<Declaration> ldecl, Declaration vdecl)
ldecl
- a list of declarationsvdecl
- a declarationpublic void STree_addDeclarationToConfinedExpr(RestrictionProcess p_conf, java.util.ArrayList<Declaration> vdecl)
p_conf
- a restriction processvdecl
- a list of declarationspublic void STree_addLabelsInModel(java.util.ArrayList<Identifier> lids, ProcessModelImpl p)
It assumes that p is the Signal abstract tree representation of a process.
lids
- a list of identifiersp
- a processpublic void STree_addPragma(ProcessModelImpl aProcess, PragmaImpl apragma)
aProcess
- a process modelapragma
- a pragmapublic boolean STree_IsProcessHasOutput(ProcessModelImpl p)
p
- a process modelpublic boolean STree_IsProcessNull(ProcessModelImpl p)
p
- a process modelpublic void STree_addNullProc(ProcessModelImpl p)
p
- a process modelpublic ConstantsDeclarationImpl STree_mkConstantDeclaration(org.eclipse.emf.common.util.EList<ConstantDefinition> p_def, Type p_typ)
\bsg
p_def
- a list of constant definitionsp_typ
- a typepublic ExprProcess mkEquation(int op, ExprSignal leftExp, ExprSignal rightExp)
op
- (in) Signal operator ( :=, ::= code).leftExp
- (in) left operand of the equation.rightExp
- (in) right operand of the equation.public DefaultImpl STree_mkDefault(ExprSignal exp1, ExprSignal exp2)
exp1
- exp2
- public UnconditionedDependences STree_mkDependency(Signals sigs, java.util.ArrayList<Signals> list)
sigs
- list
- public UnaryWhenImpl STree_mkUnaryWhen(ExprSignal exp)
exp
- an expressionpublic WhenImpl STree_mkWhen(ExprSignal exp1, ExprSignal exp2)
exp1
- exp2
- public EqualImpl STree_mkEqual(ExprSignal exp1, ExprSignal exp2)
exp1
- left expressionexp2
- right expressionpublic FromImpl STree_mkFrom(ExprSignal exp1, ExprSignal exp2)
exp1
- exp2
- public ClockUnionImpl STree_mkClockUnion(ExprSignal exp1, ExprSignal exp2)
exp1
- exp2
- public ClockEqualityImpl STree_mkClockEquality(ExprSignal exp1, ExprSignal exp2)
exp1
- exp2
- public ClockEqualityImpl STree_mkClockEqualitys(java.util.ArrayList<ExprSignal> exps)
exp1
- exp2
- public ClockImpl STree_mkClock(ExprSignal exp)
exp
- an expressionpublic void STree_addModuleIDToAModulesImport(ModulesImportImpl usemodule, Identifier mid)
usemodule
- a ModulesImportImplmid
- a module identifierpublic void STree_adduseModuleToAModule(ModuleImpl amodule, Identifier mid)
Adds mid to the last of the ModulesImport list: use xx, ...; use yy, ..., mid;
amodule
- a modulemid
- an identifier of module to be usedpublic void STree_adduseModuleToAProcess(ProcessModelImpl aprocess, Identifier mid, boolean bpre)
Adds mid to the last of the ModulesImport list: use xx, ...; use yy, ..., mid;
aprocess
- a processmid
- an identifier of module to be usedpublic org.eclipse.emf.common.util.EList<Declaration> STree_mkLocalDeclaration(ProcessModelImpl p_proc)
p_proc
- a process modelpublic ModuleImpl STree_mkModule(Identifier name)
name
- an identifierpublic PragmaImpl STree_mkPragmaIdent(Identifier id, org.eclipse.emf.common.util.EList<Identifier> obj, StringValue stmt)
\bsg
id
- an identifierobj
- a list of identifierstmt
- public PragmaImpl STree_mkPragma(java.lang.String kw, org.eclipse.emf.common.util.EList<Identifier> obj, StringValue stmt)
\bsg
kw
- a string name of the identifierobj
- a list of identifiersstmt
- public org.eclipse.emf.common.util.EList<Pragma> STree_mkPragmasList(ProcessModelImpl process)
process
- a process modelpublic void STree_setExternalGraph(ProcessModelImpl proc, ExternalGraphImpl eg)
proc
- a process modeleg
- public java.util.ArrayList<Declaration> STree_setLocalDeclarations(ProcessModelImpl p, org.eclipse.emf.common.util.EList<Declaration> ndecls)
p
- a process modelndecls
- a new list of local declarationspublic void STree_setParameters(ProcessModelImpl proc, org.eclipse.emf.common.util.EList<TypesOrSignalsDeclaration> param)
proc
- a process modelparam
- a list of parameterspublic void STree_setPragmas(ProcessModelImpl proc, org.eclipse.emf.common.util.EList<Pragma> pragmas)
proc
- a process modelpragmas
- a list of pragmaspublic RestrictionProcessImpl STree_addLocalBlock(DescriptionImpl p_desc)
p_desc
- a body descriptionpublic void STree_addLocalDeclaration(SignalElementImpl aProcess, java.util.ArrayList<Declaration> vdecl)
aProcess
- a process or a modulevdecl
- a list of local declarationspublic void STree_addSpecification(ProcessModelImpl process, ExprProcess vtreeSpecif)
process
- (in) : process model (assumed)vtreeSpecif
- (in) : specification expression(assumed).public java.util.ArrayList<ExprSignal> STree_mkSynchroIni(ExprSignal e)
It must be completed to have a syntactic correct tree.
e
- an expression that this synchronization expresstion is initialized withpublic org.eclipse.emf.common.util.EList<ExprSignal> STree_addSynchro(org.eclipse.emf.common.util.EList<ExprSignal> l, ExprSignal e)
l
- a list of expression that they are synchronizede
- a new expression to be synchronized with the listpublic org.eclipse.emf.common.util.EList<TypeDefinition> STree_addTypeToTypes(org.eclipse.emf.common.util.EList<TypeDefinition> vtypes, TypeDefinition vtype)
vtypes
- a list of type definitionsvtype
- a type declarationpublic void STree_deleteParameters(ProcessModelImpl p_proc)
p_proc
- a process modelpublic TypeDescriptionImpl STree_mkDclType(Identifier name, TypeDescriptionValue description, ExprSignal vinit)
\bsg
name
- an identifierdescription
- typevinit
- an expression that represents the initial valuepublic void STree_addaTypeDeclarationToModule(ModuleImpl p, TypesDeclarationImpl adecl)
p
- a moduleadecl
- a type declarationpublic void STree_addaConstantToModule(ModuleImpl p, ConstantsDeclarationImpl adecl)
p
- a moduleadecl
- a type declarationpublic LabelledProcessImpl STree_mkLabelledModelCall(java.lang.String label, java.lang.String pname)
lable
- a string labelpname
- a string name of the called processpublic LabelledProcessImpl STree_mkLabelledProcessCall(java.lang.String label, ExprProcess exp)
lable
- a string labelexp
- a process call expressionpublic java.lang.String STree_GetStringName(Identifier e)
e
- an identifierpublic ProcessModelImpl STree_GetProcessDeclarationFromProcess(ProcessModelImpl vprocess, java.lang.String aname)
vprocess
- a process model where the aname process is declaredaname
- a string name of the required processpublic ProcessTypeImpl STree_GetProcessTypeDeclarationFromAProcess(ProcessModelImpl vprocess, java.lang.String aname)
vprocess
- a process model where this required process type is declaredaname
- a string name of this required process typepublic ProcessTypeImpl STree_GetProcessTypeDeclaration(SignalElementImpl vtreeproc, java.lang.String aname)
public ProcessTypeImpl STree_GetProcessTypeDeclarationFromAModule(ModuleImpl vmodule, java.lang.String aname)
public TypeDescriptionImpl STree_GetTypeDescriptionFromAModule(ModuleImpl vmodule, java.lang.String aname)
public ConstantEnumImpl STree_mkEnumConstant(java.lang.String EnumType_name, java.lang.String constantvalue)
EnumType_name
- a string name of the enumeration typeconstantvalue
- a string of the constant valuepublic ConstantStringImpl STree_mkStringConstant(java.lang.String constantvalue)
constantvalue
- a string of the constant string valuepublic StringValueImpl STree_mkStringValue(java.lang.String constantvalue)
constantvalue
- a string of the constant string valuepublic ConstantRealImpl STree_mkRealConstant(java.lang.String constantvalue)
constantvalue
- a string of the constant real value, for example, "2.0"public ConstantDoubleRealImpl STree_mkDoubleRealConstant(java.lang.String constantvalue)
constantvalue
- a string of the constant real value, for example, "2.0"public ConstantIntegerImpl STree_mkIntegerConstant(java.lang.String constantvalue)
constantvalue
- a string of the constant integer value, for example, "2"public FieldAccessImpl STree_mkFieldAccess(java.lang.String expr_name, java.lang.String id_name)
expr_name
- a string name of the expression typeid_name
- a string name of the fieldpublic void STree_addComment(SignalElementImpl sig_element, java.util.ArrayList<java.lang.String> str_list, boolean bpre)
sig_element
- str_list
- a list of string commentbpre
- public void STree_addComment(SignalElementImpl vt, java.lang.String vcomment, boolean b)
public SignalsDeclarationImpl mkDecl(java.lang.String id, Type vtype)
public SignalsDeclarationImpl mkEventDecl(java.lang.String id)
public SignalsDeclarationImpl mkIntegerDecl(java.lang.String id)
public SignalsDeclarationImpl mkStringDecl(java.lang.String id)
public SignalsDeclarationImpl mkDecl(java.lang.String id, java.lang.String typeId)
public SignalsDeclarationImpl mkBooleanDecl(java.lang.String name)
public SignalsDefinitionImpl mkEquation(ExprSignal left_expr, ExprSignal right_expr)
public SignalsPartialDefinitionImpl mkPartialEquation(ExprSignal left_expr, ExprSignal right_expr)