maj.semant
Class MajIdentifier

java.lang.Object
  maj.semant.MajIdentifier

public class MajIdentifier

extends java.lang.Object

Constructor Summary

MajIdentifier(antlr.collections.AST identAST)

MajIdentifier(MajNameSpace nameSpace, java.lang.String name)

MajIdentifier(java.lang.String name)

Method Summary

void	add(java.lang.String name)
MajIdentifier	deleteLast()
java.lang.String	getName()
MajNameSpace	getNameSpace()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

MajIdentifier

public MajIdentifier(MajNameSpace nameSpace,
                     java.lang.String name)

MajIdentifier

public MajIdentifier(antlr.collections.AST identAST)

MajIdentifier

public MajIdentifier(java.lang.String name)

Method Detail

add

public void add(java.lang.String name)

deleteLast

public MajIdentifier deleteLast()

getName

public java.lang.String getName()

getNameSpace

public MajNameSpace getNameSpace()

toString

public java.lang.String toString()