All Packages  Class Hierarchy  This Package  Previous  Next  Index

Class absyn.GuardUndet 

java.lang.Object
   |
   +----absyn.Absyn
           |
           +----absyn.Guard
                   |
                   +----absyn.GuardUndet
public class GuardUndet
extends Guard
implements Serializable, Cloneable
One kind of guard: untyped identifier. If the type of the identifier can not be determined, this class is used.

Version:
$Id: GuardUndet.java,v 1.7 1999/02/09 11:32:56 swtech00 Exp $
Author:
Initially provided by Martin Steffen.

Variable Index

o undet
Identifier name.

Constructor Index

o GuardUndet(String)
Constructor.
o GuardUndet(String, Location)

Method Index

o clone()

Variables

o undet 
 public String undet
Identifier name.

Constructors

o GuardUndet 
 public GuardUndet(String u)
Constructor.

o GuardUndet 
 public GuardUndet(String u,
                   Location l)

Methods

o clone 
 public Object clone() throws CloneNotSupportedException
Throws: CloneNotSupportedException
self-explanatory exception
Overrides:
clone in class Guard 
All Packages  Class Hierarchy  This Package  Previous  Next  Index