wyc.lang

Class Exprs

java.lang.Object

wyc.lang.Exprs

public class Exprs
extends Object

Constructor Summary

Constructors

Constructor and Description
Exprs()

Method Summary

Modifier and Type	Method and Description
static boolean	isPure(Expr expr, WhileyFile.Context context) Determine whether this expression is "pure" or not.
static HashSet<wycc.util.Pair<Type,String>>	uses(Expr expr, WhileyFile.Context context) Determine the set of variable names (and their types) used in a given expression.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Exprs

public Exprs()

Method Detail

uses

public static HashSet<wycc.util.Pair<Type,String>> uses(Expr expr,
                                                        WhileyFile.Context context)

Determine the set of variable names (and their types) used in a given expression.

Parameters:

expr -

context -

Returns:

isPure

public static boolean isPure(Expr expr,
                             WhileyFile.Context context)

Determine whether this expression is "pure" or not. A pure expression has no non-local side effects. More specifically, it does not contain: a direct (or indirect) invocation of a method; or, the construction of an object via new; or, finally, a dereference operation.

Returns: