se.chalmers.cs.gf.transfer
Class Primitives

java.lang.Object
  se.chalmers.cs.gf.transfer.Env
      se.chalmers.cs.gf.transfer.Primitives

public class Primitives
extends Env

Constructor Summary

Primitives()

Method Summary

void	add(Value.VPrim prim)

Methods inherited from class se.chalmers.cs.gf.transfer.Env

add, addAll, lookup, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

Primitives

public Primitives()

Method Detail

add

public void add(Value.VPrim prim)