slime.absynt
Class Type

java.lang.Object
  extended byslime.absynt.Absynt
      extended byslime.absynt.Type
All Implemented Interfaces:
java.io.Serializable
Direct Known Subclasses:
BoolType, DoubleType, IntType, UndefType, UnitType

public abstract class Type
extends Absynt
implements java.io.Serializable

Types for the assignement language of Slime, with the concrete types as subclasses.

Version:
$Id: Type.java,v 1.9 2002/07/18 07:12:58 swprakt Exp $
Author:
Martin Steffen and Karsten Stahl.
See Also:
Serialized Form

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

Constructor Detail

Type

public Type()
Method Detail

accept

public java.lang.Object accept(Visitors.IType ask)
                        throws java.lang.Exception
Throws:
java.lang.Exception

equals

public abstract boolean equals(Type t)