slime.absynt
Class UndefType

java.lang.Object
  extended byslime.absynt.Absynt
      extended byslime.absynt.Type
          extended byslime.absynt.UndefType
All Implemented Interfaces:
java.io.Serializable

public class UndefType
extends Type
implements java.io.Serializable

``Type'' to denote absence of type information. Before the type checker has found out the type, it is undefined (except for the dangers of nil-dereferencing, one can think of it as a ``nil-reference'' to a type). So Undef is not a type of the type system or the language, but an internal representation useful for the type checker. After termination of the type checker, no type field must be undefined.

Version:
$Id: UndefType.java,v 1.4 2002/07/10 17:04:29 swprakt Exp $
Author:
Martin Steffen and Karsten Stahl.
See Also:
Serialized Form

Field Summary
 
Fields inherited from class slime.absynt.Absynt
pos
 
Constructor Summary
UndefType()
           
 
Method Summary
 java.lang.Object accept(Visitors.IType ask)
           
 boolean equals(Type t)
          type equality.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

UndefType

public UndefType()
Method Detail

accept

public java.lang.Object accept(Visitors.IType ask)
                        throws java.lang.Exception
Overrides:
accept in class Type
Throws:
java.lang.Exception

equals

public boolean equals(Type t)
type equality.

Specified by:
equals in class Type