abc.weaving.aspectinfo
Class Formal

java.lang.Object
  extended by abc.weaving.aspectinfo.Syntax
      extended by abc.weaving.aspectinfo.Formal

public class Formal
extends Syntax

A formal parameter to a method or constructor.

Author:
Aske Simon Christensen, Damien Sereni

Constructor Summary
Formal(AbcType type, java.lang.String name, Position pos)
           
 
Method Summary
 boolean equals(java.lang.Object other)
           
 java.lang.String getName()
           
 AbcType getType()
           
 int hashCode()
           
 boolean isInRenamingAsSource(java.util.Hashtable renaming)
          Checks whether there is a binding with source var having the same name as this formal in a renaming
 void removeFromRenamingAsSource(java.util.Hashtable renaming)
           
 java.lang.String toString()
           
 
Methods inherited from class abc.weaving.aspectinfo.Syntax
getPosition
 
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
 

Constructor Detail

Formal

public Formal(AbcType type,
              java.lang.String name,
              Position pos)
Method Detail

getType

public AbcType getType()

getName

public java.lang.String getName()

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object

equals

public boolean equals(java.lang.Object other)
Overrides:
equals in class java.lang.Object

hashCode

public int hashCode()
Overrides:
hashCode in class java.lang.Object

isInRenamingAsSource

public boolean isInRenamingAsSource(java.util.Hashtable renaming)
Checks whether there is a binding with source var having the same name as this formal in a renaming

Parameters:
renaming - The Renaming(Var->VarBox)

removeFromRenamingAsSource

public void removeFromRenamingAsSource(java.util.Hashtable renaming)