net.sourceforge.czt.z.ast

Interface MemPred

All Superinterfaces:

Pred, Term

All Known Implementing Classes:

MemPredImpl

public interface MemPred
extends Pred

A relation operator application (C.5.12).

• Membership predicate. In this case, Mixfix=false, the first (left) expression is the element, and the second (right) expression is the set. For example, "n \in S" has left="n" and right="S".
• Equality. In this case, Mixfix=true, the first (left) expression is the left-hand side of the equality, and the second (right) expression is a singleton set containing the right-hand side of the equality. For example: "n = m" has left="n" and right="{m}".
• Other operator application. In this case, Mixfix=true, the first (left) expression is usually a tuple containing the corresponding number of arguments, and the second (right) expression is the operator name. However, for a unary operator, the left expression does not have to be a tuple. For example, "n < m" has left="(n,m)" and right=" _ < _ ", "disjoint s" has left="s" and right="disjoint _ ", and if foo was declared as a unary postfix operator, then "(2,3) foo" would have left= "(2,3)" and right=" _ foo".

Author:

GnAST version 1.6-SNAPSHOT

Method Summary

Modifier and Type	Method and Description
ListTerm<Expr>	getExpr() Returns the Expr elements.
Expr	getLeftExpr()
Boolean	getMixfix() Returns the Mixfix element.
Expr	getRightExpr()
void	setLeftExpr(Expr expr)
void	setMixfix(Boolean mixfix) Sets the Mixfix element.
void	setRightExpr(Expr expr)

Methods inherited from interface net.sourceforge.czt.base.ast.Term

accept, annsSize, create, getAnn, getAnns, getChildren, hasAnn, hasAnn, removeAnn, removeAnn

Method Detail

getExpr

ListTerm<Expr> getExpr()

Returns the Expr elements.

To add or remove elements, use the methods provided by the List interface (that's why there is no need for a setter method).

Returns:

a list of Expr elements.

getMixfix

Boolean getMixfix()

Returns the Mixfix element.

Returns:

the Mixfix element.

setMixfix

void setMixfix(Boolean mixfix)

Sets the Mixfix element.

Parameters:

mixfix - the Mixfix element.

See Also:

getMixfix()

getLeftExpr

Expr getLeftExpr()

setLeftExpr

void setLeftExpr(Expr expr)

getRightExpr

Expr getRightExpr()

setRightExpr

void setRightExpr(Expr expr)