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

java.lang.Object
  extended byedu.usc.alfa.xalfa.ast.Node
      extended byedu.usc.alfa.xalfa.ast.primitive.StructuralConstraintNode
          extended byedu.usc.alfa.xalfa.ast.alloy.AlloyStructuralConstraintNode

public final class AlloyStructuralConstraintNode
extends StructuralConstraintNode

Specifies structural constraints using Alloy.


Constructor Summary
AlloyStructuralConstraintNode(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.primitive.StructuralConstraintNode
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

AlloyStructuralConstraintNode

public AlloyStructuralConstraintNode(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 StructuralConstraintNode

getExpression

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

Returns:
Value of property expressions.