|
|||||||||||
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 PropertyIdentifier
public 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 |