public class Typing extends Object
protected HashMap<Local,Type>
map
Typing(Collection<Local> vs)
Typing(Typing tg)
Type
get(Local v)
set(Local v, Type t)
String
toString()
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
protected HashMap<Local,Type> map
public Typing(Collection<Local> vs)
public Typing(Typing tg)
public Type get(Local v)
public Type set(Local v, Type t)
public String toString()
toString
Object
Copyright © 2020 Soot OSS. All rights reserved.