| java.lang.Object xtc.typical.Analyzer xtc.lang.TypedLambdaAnalyzer
TypedLambdaAnalyzer | public class TypedLambdaAnalyzer extends Analyzer (Code) | | Type checker for TypedLambda.
|
TypedLambdaAnalyzer | public TypedLambdaAnalyzer(Runtime runt)(Code) | | |
getScopeNodes | public void getScopeNodes()(Code) | | |
Fields inherited from xtc.typical.Analyzer | final protected String ENTERSCOPE(Code)(Java Doc) final protected String EXITSCOPE(Code)(Java Doc) final protected String MAGICNUMBER(Code)(Java Doc) protected Function.F1<?, Node> analyzer(Code)(Java Doc) final protected Function.F1<Node, NodeMatch> ancestor(Code)(Java Doc) final protected Function.F3<Void, Node, Object, Function.F1<?, Node>> define3(Code)(Java Doc) final protected Function.F5<Void, Node, Object, String, String, Function.F1<?, Node>> define5(Code)(Java Doc) final protected Function.F1<String, String> freshName(Code)(Java Doc) final protected SymbolTable gamma(Code)(Java Doc) protected Hashtable<Object, Object> hashTable(Code)(Java Doc) final protected Function.F2<Boolean, Node, Function.F1<?, Node>> isDefined(Code)(Java Doc) final protected Function.F2<Boolean, Node, Function.F1<?, Node>> isDefinedLocally(Code)(Java Doc) final protected Function.F3<Void, String, String, Object> load(Code)(Java Doc) final protected Function.F2<Object, Node, Function.F1<?, Node>> lookup2(Code)(Java Doc) final protected Function.F4<Object, Node, String, String, Function.F1<?, Node>> lookup4(Code)(Java Doc) final protected Function.F2<Object, Node, Function.F1<?, Node>> lookupLocally2(Code)(Java Doc) final protected Function.F4<Object, Node, String, String, Function.F1<?, Node>> lookupLocally4(Code)(Java Doc) final protected ArrayList<Node> matching_nodes(Code)(Java Doc) final protected Function.F1<Boolean, Object> notBottom(Code)(Java Doc) final protected Function.F1<Node, NodeMatch> parent(Code)(Java Doc) final protected ArrayList<String> processScopeNodes(Code)(Java Doc) final protected Function.F3<Void, Node, Object, Function.F1<?, Node>> redefine(Code)(Java Doc) protected Node root(Code)(Java Doc) final protected Runtime runtime(Code)(Java Doc) final protected Function.F1<Boolean, String> show_symbols(Code)(Java Doc)
|
|
|