All Packages Class Hierarchy This Package Previous Next Index
Class absyn.GuardEvent
java.lang.Object
|
+----absyn.Absyn
|
+----absyn.Guard
|
+----absyn.GuardEvent
- public class GuardEvent
- extends Guard
- implements Serializable, Cloneable
One kind of guard: event.
- Version:
- $Id: GuardEvent.java,v 1.7 1999/02/09 11:32:56 swtech00 Exp $
- Author:
- Initially provided by Martin Steffen.
-
event
- Contents of event.
-
GuardEvent(SEvent)
- Constructor.
-
GuardEvent(SEvent, Location)
-
-
clone()
-
event
public SEvent event
- Contents of event.
GuardEvent
public GuardEvent(SEvent e)
- Constructor.
GuardEvent
public GuardEvent(SEvent e,
Location l)
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