se.chalmers.cs.gf.transfer
Class InterpretCore

java.lang.Object
  se.chalmers.cs.gf.transfer.InterpretCore

public class InterpretCore
extends java.lang.Object

Constructor Summary

InterpretCore()

Method Summary

static Value	apply(Value v1, Value v2)
static Env	bind(se.chalmers.cs.gf.Core.Absyn.PatternVariable pv, Value v, Env env)
static Value	eval(se.chalmers.cs.gf.Core.Absyn.Exp exp, Env env)
static Env	match(se.chalmers.cs.gf.Core.Absyn.Pattern p, Value v)

Methods inherited from class java.lang.Object

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

Constructor Detail

InterpretCore

public InterpretCore()

Method Detail

eval

public static Value eval(se.chalmers.cs.gf.Core.Absyn.Exp exp,
                         Env env)

apply

public static Value apply(Value v1,
                          Value v2)

match

public static Env match(se.chalmers.cs.gf.Core.Absyn.Pattern p,
                        Value v)

bind

public static Env bind(se.chalmers.cs.gf.Core.Absyn.PatternVariable pv,
                       Value v,
                       Env env)