Package mini_c
Class Lpush
- java.lang.Object
-
- mini_c.LTL
-
- mini_c.Lpush
-
class Lpush extends LTL
-
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description (package private) void
accept(LTLVisitor v)
(package private) mini_c.Label[]
succ()
java.lang.String
toString()
-
-
-
Field Detail
-
o
public Operand o
-
l
public mini_c.Label l
-
-
Constructor Detail
-
Lpush
public Lpush(Operand o, mini_c.Label l)
-
-
Method Detail
-
accept
void accept(LTLVisitor v)
-
toString
public java.lang.String toString()
- Overrides:
toString
in classjava.lang.Object
-
-