public class SignalTreeTesting
extends java.lang.Object
Constructor and Description |
---|
SignalTreeTesting() |
Modifier and Type | Method and Description |
---|---|
boolean |
isAction(long node)
Test if the node of the AST represents an action model object.
|
boolean |
isBodyTree(long node)
Test if the node of the AST is the body of a model object.
|
boolean |
isConstantDecl(long node)
Test if the node of the AST is a list of declaration of constants.
|
boolean |
isEffectiveParameter(long node)
Test if the node of the AST is a list of effective parameters.
|
boolean |
isExprProc(int opValue)
Test if the
opValue parameter is a Signal process expression operator |
boolean |
isExternModel(long node)
Test if the
node is an extern model. |
boolean |
isFunction(long node)
Test if the
node represents a function model object. |
boolean |
isIdentEqual(long node1,
long node2)
Test if
node1 and node2 are based on the same identifier |
boolean |
isImplicitTypeTree(long node)
Test if the
node represents an implicit type object. |
boolean |
isInDeclList(long declListNode,
long node)
Test if an identifier
idNode is in the list of declarations decListNode . |
boolean |
isInputOutput(long node)
Test if the
node represents an input/output specification object. |
boolean |
isInterface(long node)
Test if the node of the AST represents an interface
|
boolean |
isList(long node)
Test if the node of the AST represents a list of objects
|
boolean |
isLocalDeclList(long node)
Test if the
node denotes a local declaration list. |
boolean |
isModel(long node)
Test if the
node represents a model(process, node, function, action) object. |
long |
isModelInList(long name,
long declList)
Retrieve the model declaration in a list of declarations.
|
boolean |
isModelWithoutParameters(long node)
Test if the
node represents a model object node without parameters. |
boolean |
isModule(long node)
Test if the node is a module.
|
boolean |
isModulesList(long node)
Test if the node is a list of modules.
|
boolean |
isNameOfModel(long node)
Test if the node is the name of a model.
|
boolean |
isNode(long node)
Test if the
node represents a node model object. |
boolean |
isOperatorModel(long node)
Test if the node is an operator model.
|
boolean |
isParamAtype(long paramDeclList,
int no)
Test if the
no -th element of the list of parameters is a type. |
boolean |
isParametersOfModel(long node)
Test if
node is the parameter list declaration of a process. |
boolean |
isPragmas(long node)
Test if
node is a list of pragmas or a nil tree. |
boolean |
isPrivateDeclaration(long node)
Test if the
node represents a private model(process, node, function, action) object. |
boolean |
isProcess(long node)
Test if the
node represents a process model object. |
boolean |
isSignalDecl(long node)
Test if
node is a list of declaration of signals. |
boolean |
isSpec(long node)
Test if the
node is an external graph specification object. |
boolean |
isTreeEq(long node1,
long node2)
Test if the two nodes are equals.
|
boolean |
isTypeDecl(long node)
Test if
node is a list of declaration of types. |
boolean |
isUnaryExprProc(int opValue)
Test if the
opNum parameter is a unary expression |
boolean |
isUndefinedTree(long node)
Test if the node is an undefined object.
|
public boolean isAction(long node)
node
- the address of the nodepublic boolean isBodyTree(long node)
node
- the address of the nodepublic boolean isConstantDecl(long node)
node
- the address of the nodepublic boolean isEffectiveParameter(long node)
node
- the address of the nodepublic boolean isExprProc(int opValue)
opValue
parameter is a Signal process expression operatoropValue
- the value of the operatorpublic boolean isExternModel(long node)
node
is an extern model. An extern model has no expression and no local declarations.node
- the address of the node (ntree structure) of the ASTpublic boolean isFunction(long node)
node
represents a function model object.node
- the address of the node (ntree structure) of the ASTpublic boolean isIdentEqual(long node1, long node2)
node1
and node2
are based on the same identifiernode1
- the address of a nodenode2
- the address of another nodepublic boolean isImplicitTypeTree(long node)
node
represents an implicit type object.node
- the address of the node (ntree structure) of the ASTpublic boolean isInDeclList(long declListNode, long node)
idNode
is in the list of declarations decListNode
.decListNode
- the address of the declaration list node (ntree structure)idNode
- the address of the identifier node (ntree structure)public boolean isInputOutput(long node)
node
represents an input/output specification object.node
- the address of the node (ntree structure) of the ASTpublic boolean isInterface(long node)
node
- the address of the node (ntree structure) of the ASTpublic boolean isList(long node)
node
- the address of the node (ntree structure) of the ASTnode
is a list of objects, false otherwise.public boolean isLocalDeclList(long node)
node
denotes a local declaration list.node
- the address of the node (ntree structure) in the ASTnode
denotes a list of local declarations, false otherwise.public boolean isModel(long node)
node
represents a model(process, node, function, action) object.node
- the address of the node (ntree structure) in the ASTpublic long isModelInList(long name, long declList)
name
- the address of a node representing an identifier (assumed).modelList
- the address of a list of declarations (models, signals,...) (assumed).public boolean isModelWithoutParameters(long node)
node
represents a model object node without parameters.node
- the address of the node (ntree structure) representing a model or a module. In this last case, it returns
always true.public boolean isModule(long node)
node
- the address of the node (ntree structure)public boolean isModulesList(long node)
node
- the address of the node (ntree structure)public boolean isNameOfModel(long node)
node
- the address of the node (ntree structure)public boolean isNode(long node)
node
represents a node model object.node
- the address of the node (ntree structure) of the ASTpublic boolean isOperatorModel(long node)
node
- the address of the node (ntree structure)public boolean isParamAtype(long paramDeclList, int no)
no
-th element of the list of parameters is a type.paramListNode
- the address of the node (ntree structure) representing the list of parameters (assumed).no
- the rank at which the test is donepublic boolean isParametersOfModel(long node)
node
is the parameter list declaration of a process.node
- the address of the node (ntree structure)public boolean isPragmas(long node)
node
is a list of pragmas or a nil tree.node
- the address of the node (ntree structure)public boolean isProcess(long node)
node
represents a process model object.node
- the address of the node (ntree structure) in the ASTpublic boolean isPrivateDeclaration(long node)
node
represents a private model(process, node, function, action) object.node
- the address of the node (ntree structure)public boolean isSignalDecl(long node)
node
is a list of declaration of signals.node
- the address of the node (ntree structure)public boolean isSpec(long node)
node
is an external graph specification object.node
- the address of the node (ntree structure)public boolean isTypeDecl(long node)
node
is a list of declaration of types.node
- the address of the node (ntree structure)public boolean isUnaryExprProc(int opValue)
opNum
parameter is a unary expressionopValue
- the value of the operator constantpublic boolean isUndefinedTree(long node)
node
- the address of the node (ntree structure)public boolean isTreeEq(long node1, long node2)
node1
- a nodenode2
- another node