All Packages  Class Hierarchy  This Package  Previous  Next  Index

Class aioli.vtp.OperatorConstraint 

java.lang.Object
   |
   +----aioli.vtp.OperatorConstraint
public class OperatorConstraint
extends Object
implements Constraint
Implements Constraint of type Operator.

Constructor Index

o OperatorConstraint(Operator)
The constraint constructor.

Method Index

o clone()
o toString()
Returns a String.
o verify(Tree)
Checks if the constraint is verified.

Constructors

o OperatorConstraint 
 public OperatorConstraint(Operator op)
The constraint constructor.

Parameters:
op - The Operator that constraints the metavariable.

Methods

o verify 
 public boolean verify(Tree tree)
Checks if the constraint is verified.

Parameters:
tree - The tree we want to check the constraint on.
Returns:
true if the constraint is verified, false otherwise.
o toString 
 public String toString()
Returns a String.

Overrides:
toString in class Object
o clone 
 public Object clone()
Overrides:
clone in class Object 
All Packages  Class Hierarchy  This Package  Previous  Next  Index