org.oXML.type
Class Type

java.lang.Object
  org.oXML.type.Type

Direct Known Subclasses:

NodesetType, TrustedType

public class Type

extends java.lang.Object

Field Summary

static int

MAX_TYPE_DISTANCE

Constructor Summary

Type(Name name)

Type(Name name, Type[] parents)

Method Summary

void	addConstructor(Function ctor)
void	addFunction(Function function)
void	addParent(Type parent)
void	addVariable(Name variable)
int	distance(Type other, int max)
boolean	equals(java.lang.Object other)
boolean	equals(Type other) two types are equal iff they have the same name
Function[]	getConstructors()
Function	getFunction(Name name, Type[] params)
Functions	getFunctions()
Name	getName()
Type[]	getParentTypes()
Name[]	getVariables()
boolean	instanceOf(Type other)
boolean	isFinal()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

MAX_TYPE_DISTANCE

public static final int MAX_TYPE_DISTANCE

See Also:

Constant Field Values

Constructor Detail

Type

public Type(Name name)

Type

public Type(Name name,
            Type[] parents)

Method Detail

getConstructors

public Function[] getConstructors()

addConstructor

public void addConstructor(Function ctor)

addParent

public void addParent(Type parent)

addVariable

public void addVariable(Name variable)

getVariables

public Name[] getVariables()

addFunction

public void addFunction(Function function)

isFinal

public boolean isFinal()

getName

public Name getName()

getParentTypes

public Type[] getParentTypes()

instanceOf

public boolean instanceOf(Type other)

distance

public int distance(Type other,
                    int max)

getFunction

public Function getFunction(Name name,
                            Type[] params)

getFunctions

public Functions getFunctions()

equals

public boolean equals(java.lang.Object other)

equals

public boolean equals(Type other)

two types are equal iff they have the same name

toString

public java.lang.String toString()