maj.semant
Class MajBottomType

java.lang.Object
  maj.semant.MajType
      maj.semant.MajBottomType

public class MajBottomType

extends MajType

Field Summary

Fields inherited from class maj.semant.MajType

m_nameSpace, m_strName

Constructor Summary

MajBottomType()

Method Summary

java.lang.String	getMajType()
boolean	isEqual(MajType argType)
boolean	isPrimitiveType()
boolean	isSuperOf(MajType argType)
java.lang.String	toString()

Methods inherited from class maj.semant.MajType

getFullName, getIdentifier, getLUB, getName, getNameSpace

Methods inherited from class java.lang.Object

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

Constructor Detail

MajBottomType

public MajBottomType()

Method Detail

isEqual

public boolean isEqual(MajType argType)

Specified by:

isEqual in class MajType

isSuperOf

public boolean isSuperOf(MajType argType)

Specified by:

isSuperOf in class MajType

toString

public java.lang.String toString()

Specified by:

toString in class MajType

getMajType

public java.lang.String getMajType()

Specified by:

getMajType in class MajType

isPrimitiveType

public boolean isPrimitiveType()

Specified by:

isPrimitiveType in class MajType