net.sourceforge.czt.animation.eval

Class EnvirUtils

java.lang.Object

net.sourceforge.czt.animation.eval.EnvirUtils

public class EnvirUtils
extends Object

Author:

leo

Method Summary

Modifier and Type	Method and Description
static Envir	copy(Envir a)
static boolean	disjoint(Envir one, Envir other)
static List<net.sourceforge.czt.z.ast.Expr>	exprs(Envir one)
static Envir	merge(Envir a, Envir b)
static Set<net.sourceforge.czt.z.ast.ZName>	names(Envir one)
static boolean	sameAs(Envir one, Envir other)
static boolean	subset(Envir one, Envir other)

Methods inherited from class java.lang.Object

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

Method Detail

copy

public static Envir copy(Envir a)

merge

public static Envir merge(Envir a,
                          Envir b)

subset

public static boolean subset(Envir one,
                             Envir other)

disjoint

public static boolean disjoint(Envir one,
                               Envir other)

names

public static Set<net.sourceforge.czt.z.ast.ZName> names(Envir one)

exprs

public static List<net.sourceforge.czt.z.ast.Expr> exprs(Envir one)

sameAs

public static boolean sameAs(Envir one,
                             Envir other)