de.tuberlin.cs.cis.ocl.env
Class OperationIdentifier

java.lang.Object
  |
  +--de.tuberlin.cs.cis.ocl.env.NameIdentifier
        |
        +--de.tuberlin.cs.cis.ocl.env.PropertyIdentifier
              |
              +--de.tuberlin.cs.cis.ocl.env.OperationIdentifier
All Implemented Interfaces:
Identifier

public final class OperationIdentifier
extends PropertyIdentifier

an OCL - operation that is defined via a let-expression on a classifier (or in a context of a classifier).

Author:
fchabar

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

OperationIdentifier

public OperationIdentifier(Scope scope,
                           Classifier classifier,
                           de.tuberlin.cs.cis.ocl.parser.node.AName name,
                           Type[] parameterTypes)
Constructs an identifier identifiing the specified operation.

Parameters:
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.

OperationIdentifier

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)
Constructs an identifier identifiing the specified operation, including its formal parameters (parameter names).

Parameters:
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

getParameterTypes

public Type[] getParameterTypes()
Returns the parameters of the operation.

Returns:
the parameters of the operation.

toString

public java.lang.String toString()
Overrides:
toString in class PropertyIdentifier

getParameters

public de.tuberlin.cs.cis.ocl.parser.node.AParamList getParameters()
Returns the formal parameters of the operation.

Returns:
the formal parameters of the operation.