abc.ra.visit
Class AddFieldsAndMethods

java.lang.Object
  NodeVisitor
      abc.ra.visit.AddFieldsAndMethods

public class AddFieldsAndMethods
extends NodeVisitor

Visitor which adds required fields and associate/release methods to relational aspects in the front-end.

Author:

Reehan Shaikh, Eric Bodden

Constructor Summary

AddFieldsAndMethods(NodeFactory nf, TypeSystem ts)

Method Summary

Node	leave(Node old, Node n, NodeVisitor v) Adds a field T t for every such relational aspect formal.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

AddFieldsAndMethods

public AddFieldsAndMethods(NodeFactory nf,
                           TypeSystem ts)

Method Detail

leave

public Node leave(Node old,
                  Node n,
                  NodeVisitor v)

Adds a field T t for every such relational aspect formal. Also, adds associate and release methods.