maj.semant
Class MajUndefinedType

java.lang.Object
  maj.semant.MajType
      maj.semant.MajUndefinedType

public class MajUndefinedType

extends MajType

Field Summary

Fields inherited from class maj.semant.MajType

m_nameSpace, m_strName

Constructor Summary

MajUndefinedType(MajIdentifier id, MajType[] argTypes)

MajUndefinedType(java.lang.String name, MajNameSpace namespace, MajType[] argTypes)

Method Summary

MajType[]	getArgTypes()
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

MajUndefinedType

public MajUndefinedType(java.lang.String name,
                        MajNameSpace namespace,
                        MajType[] argTypes)

MajUndefinedType

public MajUndefinedType(MajIdentifier id,
                        MajType[] argTypes)

Method Detail

getMajType

public java.lang.String getMajType()

Specified by:

getMajType in class MajType

getArgTypes

public MajType[] getArgTypes()

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

isPrimitiveType

public boolean isPrimitiveType()

Specified by:

isPrimitiveType in class MajType