edu.usc.alfa.xalfa.ast.primitive
Class StructuralConstraintNode

java.lang.Object
  extended byedu.usc.alfa.xalfa.ast.Node
      extended byedu.usc.alfa.xalfa.ast.primitive.StructuralConstraintNode
Direct Known Subclasses:
AlloyDefinitionNode, AlloyStructuralConstraintNode

public abstract class StructuralConstraintNode
extends Node

A Structural constraint is used to restrict the refinement of a constituent template's interfaces.


Constructor Summary
StructuralConstraintNode(java.lang.String ID)
          Creates a new instance of StructureConstraintNode
 
Method Summary
abstract  void accept(edu.usc.alfa.xalfa.visitor.NodeVisitor v)
          The visitor method to analyze xAlfa objects.
 java.lang.String toDebugString(int level)
          Generate debug information for this node.
 
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

StructuralConstraintNode

public StructuralConstraintNode(java.lang.String ID)
Creates a new instance of StructureConstraintNode

Method Detail

accept

public abstract 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 Node
Parameters:
v - Node Visitor that wants to visit this node.

toDebugString

public java.lang.String toDebugString(int level)
Description copied from class: Node
Generate debug information for this node. Nesting levels are provided so that hierarchical information can be easily debugged. Typically, debugging information includes values of various parameters and the debugging information for internal objects

Specified by:
toDebugString in class Node
Parameters:
level - The level of visual nesting to produce in the output
Returns:
A String containing debugging information about the object.