edu.usc.alfa.xalfa.ast.alloy
Class AlloyDataConstraintNode

java.lang.Object
  extended byedu.usc.alfa.xalfa.ast.Node
      extended byedu.usc.alfa.xalfa.ast.composition.DataConstraintNode
          extended byedu.usc.alfa.xalfa.ast.alloy.AlloyDataConstraintNode

public final class AlloyDataConstraintNode
extends DataConstraintNode

Specifies data constraints using Alloy.


Constructor Summary
AlloyDataConstraintNode(java.lang.String ID, java.lang.String expression)
          Creates a new instance of AlloyStructureConstraintNode
 
Method Summary
 void accept(edu.usc.alfa.xalfa.visitor.NodeVisitor v)
          The visitor method to analyze xAlfa objects.
 java.lang.String getExpression()
          Getter for property expressions.
 
Methods inherited from class edu.usc.alfa.xalfa.ast.composition.DataConstraintNode
toDebugString
 
Methods inherited from class edu.usc.alfa.xalfa.ast.Node
equals, getID, getTabs, hashCode, nodeSequenceString, nodeSequenceString, toDebugString
 
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

AlloyDataConstraintNode

public AlloyDataConstraintNode(java.lang.String ID,
                               java.lang.String expression)
Creates a new instance of AlloyStructureConstraintNode

Method Detail

accept

public void accept(edu.usc.alfa.xalfa.visitor.NodeVisitor v)
Description copied from class: Node
The visitor method to analyze xAlfa objects. This method is part of the Visitor pattern from GOF.

Specified by:
accept in class DataConstraintNode

getExpression

public java.lang.String getExpression()
Getter for property expressions.

Returns:
Value of property expressions.