czt.zxml.ast
Class MemPred_Parsed

java.lang.Object
  |
  +--zeta.util.Term
        |
        +--czt.zxml.ast.Pred
              |
              +--czt.zxml.ast.MemPred
                    |
                    +--czt.zxml.ast.MemPred_Parsed

All Implemented Interfaces:

Annotated, java.lang.Cloneable, zeta.format.Formattable, java.io.Serializable

public class MemPred_Parsed

extends MemPred

implements Annotated

See Also:

Serialized Form

Field Summary

zeta.util.Annotation	ann
Expr	expr1
Expr	expr2

Fields inherited from class czt.zxml.ast.MemPred

Fix, Fix_default, Fix_Default, Fix_max, Fix_Mem, Fix_min, Fix_Mixfix, Fix_names

Fields inherited from class zeta.util.Term

interned, internTab

Constructor Summary

MemPred_Parsed(Expr expr1, Expr expr2)

MemPred_Parsed(Expr expr1, Expr expr2, int fix)

MemPred_Parsed(Expr expr1, Expr expr2, java.lang.String fix)

Method Summary

zeta.util.Annotation

getAnnotation()

Methods inherited from class czt.zxml.ast.MemPred

getFix, toFormat

Methods inherited from class zeta.util.Term

, clone, equals, getSubtermFields, getTagField, intern, internArray, toString

Methods inherited from class java.lang.Object

finalize, getClass, hashCode, notify, notifyAll, registerNatives, wait, wait, wait

Field Detail

expr1

public Expr expr1

expr2

public Expr expr2

ann

public zeta.util.Annotation ann

Constructor Detail

MemPred_Parsed

public MemPred_Parsed(Expr expr1,
                      Expr expr2,
                      int fix)

MemPred_Parsed

public MemPred_Parsed(Expr expr1,
                      Expr expr2,
                      java.lang.String fix)

MemPred_Parsed

public MemPred_Parsed(Expr expr1,
                      Expr expr2)

Method Detail

getAnnotation

public zeta.util.Annotation getAnnotation()

Specified by:

getAnnotation in interface Annotated