|
|||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||
java.lang.Object
|
+--de.tuberlin.cs.cis.ocl.env.NameIdentifier
|
+--de.tuberlin.cs.cis.ocl.env.PropertyIdentifier
|
+--de.tuberlin.cs.cis.ocl.env.OperationIdentifier
an OCL - operation that is defined via a let-expression on a classifier (or in a context of a classifier).
| Constructor Summary | |
OperationIdentifier(Scope scope,
Classifier classifier,
de.tuberlin.cs.cis.ocl.parser.node.AName name,
de.tuberlin.cs.cis.ocl.parser.node.AParamList parameters,
Type[] parameterTypes)
Constructs an identifier identifiing the specified operation, including its formal parameters (parameter names). |
|
OperationIdentifier(Scope scope,
Classifier classifier,
de.tuberlin.cs.cis.ocl.parser.node.AName name,
Type[] parameterTypes)
Constructs an identifier identifiing the specified operation. |
|
| Method Summary | |
de.tuberlin.cs.cis.ocl.parser.node.AParamList |
getParameters()
Returns the formal parameters of the operation. |
Type[] |
getParameterTypes()
Returns the parameters of the operation. |
java.lang.String |
toString()
|
| Methods inherited from class de.tuberlin.cs.cis.ocl.env.PropertyIdentifier |
getClassifier |
| Methods inherited from class de.tuberlin.cs.cis.ocl.env.NameIdentifier |
equals, getName, getScope |
| Methods inherited from class java.lang.Object |
getClass, hashCode, notify, notifyAll, wait, wait, wait |
| Constructor Detail |
public OperationIdentifier(Scope scope,
Classifier classifier,
de.tuberlin.cs.cis.ocl.parser.node.AName name,
Type[] parameterTypes)
scope - the scope the operation is used in.classifier - the classifier the operation is defined on.name - the name of the operation.parameterTypes - the parameters of the operaton.
public OperationIdentifier(Scope scope,
Classifier classifier,
de.tuberlin.cs.cis.ocl.parser.node.AName name,
de.tuberlin.cs.cis.ocl.parser.node.AParamList parameters,
Type[] parameterTypes)
scope - the scope the operation is used in.classifier - the classifier the operation is defined on.name - the name of the operation.parameterTypes - the parameters of the operaton.parameters - the formal parameters nodes including the names of
the parameters.| Method Detail |
public Type[] getParameterTypes()
public java.lang.String toString()
toString in class PropertyIdentifierpublic de.tuberlin.cs.cis.ocl.parser.node.AParamList getParameters()
|
|||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||