se.chalmers.cs.gf.linearize
Class InterpretLinRule

java.lang.Object
  se.chalmers.cs.gf.linearize.InterpretLinRule

All Implemented Interfaces:

se.chalmers.cs.gf.GFC.Absyn.Term.Visitor<Value,Value[]>

public class InterpretLinRule
extends java.lang.Object
implements se.chalmers.cs.gf.GFC.Absyn.Term.Visitor<Value,Value[]>

Does linearization by interpreting a GFC linearization rule.

Constructor Summary

InterpretLinRule()

Method Summary

Value	visit(se.chalmers.cs.gf.GFC.Absyn.Arg a, Value[] arg)
Value	visit(se.chalmers.cs.gf.GFC.Absyn.C p, Value[] arg)
Value	visit(se.chalmers.cs.gf.GFC.Absyn.EFloat p, Value[] arg)
Value	visit(se.chalmers.cs.gf.GFC.Absyn.EInt p, Value[] arg)
Value	visit(se.chalmers.cs.gf.GFC.Absyn.E p, Value[] arg)
Value	visit(se.chalmers.cs.gf.GFC.Absyn.FV p, Value[] arg) Free variation.
Value	visit(se.chalmers.cs.gf.GFC.Absyn.I p, Value[] arg)
Value	visit(se.chalmers.cs.gf.GFC.Absyn.K p, Value[] arg)
Value	visit(se.chalmers.cs.gf.GFC.Absyn.LI p, Value[] arg)
Value	visit(se.chalmers.cs.gf.GFC.Absyn.Par par, Value[] arg)
Value	visit(se.chalmers.cs.gf.GFC.Absyn.P p, Value[] arg)
Value	visit(se.chalmers.cs.gf.GFC.Absyn.R p, Value[] arg)
Value	visit(se.chalmers.cs.gf.GFC.Absyn.S s, Value[] arg)
Value	visit(se.chalmers.cs.gf.GFC.Absyn.T t, Value[] arg)
Value	visit(se.chalmers.cs.gf.GFC.Absyn.V p, Value[] arg)

Methods inherited from class java.lang.Object

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

Constructor Detail

InterpretLinRule

public InterpretLinRule()

Method Detail

visit

public Value visit(se.chalmers.cs.gf.GFC.Absyn.R p,
                   Value[] arg)

Specified by:

visit in interface se.chalmers.cs.gf.GFC.Absyn.Term.Visitor<Value,Value[]>

visit

public Value visit(se.chalmers.cs.gf.GFC.Absyn.C p,
                   Value[] arg)

Specified by:

visit in interface se.chalmers.cs.gf.GFC.Absyn.Term.Visitor<Value,Value[]>

visit

public Value visit(se.chalmers.cs.gf.GFC.Absyn.K p,
                   Value[] arg)

Specified by:

visit in interface se.chalmers.cs.gf.GFC.Absyn.Term.Visitor<Value,Value[]>

visit

public Value visit(se.chalmers.cs.gf.GFC.Absyn.P p,
                   Value[] arg)

Specified by:

visit in interface se.chalmers.cs.gf.GFC.Absyn.Term.Visitor<Value,Value[]>

visit

public Value visit(se.chalmers.cs.gf.GFC.Absyn.Arg a,
                   Value[] arg)

Specified by:

visit in interface se.chalmers.cs.gf.GFC.Absyn.Term.Visitor<Value,Value[]>

visit

public Value visit(se.chalmers.cs.gf.GFC.Absyn.Par par,
                   Value[] arg)

Specified by:

visit in interface se.chalmers.cs.gf.GFC.Absyn.Term.Visitor<Value,Value[]>

visit

public Value visit(se.chalmers.cs.gf.GFC.Absyn.S s,
                   Value[] arg)

Specified by:

visit in interface se.chalmers.cs.gf.GFC.Absyn.Term.Visitor<Value,Value[]>

visit

public Value visit(se.chalmers.cs.gf.GFC.Absyn.T t,
                   Value[] arg)

Specified by:

visit in interface se.chalmers.cs.gf.GFC.Absyn.Term.Visitor<Value,Value[]>

visit

public Value visit(se.chalmers.cs.gf.GFC.Absyn.E p,
                   Value[] arg)

Specified by:

visit in interface se.chalmers.cs.gf.GFC.Absyn.Term.Visitor<Value,Value[]>

visit

public Value visit(se.chalmers.cs.gf.GFC.Absyn.FV p,
                   Value[] arg)

Free variation. We just pick the first one if there is one.

Specified by:

visit in interface se.chalmers.cs.gf.GFC.Absyn.Term.Visitor<Value,Value[]>

visit

public Value visit(se.chalmers.cs.gf.GFC.Absyn.LI p,
                   Value[] arg)

Specified by:

visit in interface se.chalmers.cs.gf.GFC.Absyn.Term.Visitor<Value,Value[]>

visit

public Value visit(se.chalmers.cs.gf.GFC.Absyn.I p,
                   Value[] arg)

Specified by:

visit in interface se.chalmers.cs.gf.GFC.Absyn.Term.Visitor<Value,Value[]>

visit

public Value visit(se.chalmers.cs.gf.GFC.Absyn.EInt p,
                   Value[] arg)

Specified by:

visit in interface se.chalmers.cs.gf.GFC.Absyn.Term.Visitor<Value,Value[]>

visit

public Value visit(se.chalmers.cs.gf.GFC.Absyn.EFloat p,
                   Value[] arg)

Specified by:

visit in interface se.chalmers.cs.gf.GFC.Absyn.Term.Visitor<Value,Value[]>

visit

public Value visit(se.chalmers.cs.gf.GFC.Absyn.V p,
                   Value[] arg)

Specified by:

visit in interface se.chalmers.cs.gf.GFC.Absyn.Term.Visitor<Value,Value[]>