Java Doc for TypicalAnalyzer.java in  » Parser » Rats-Parser-Generators » xtc » typical » Java Source Code / Java DocumentationJava Source Code and Java Documentation

Java Source Code / Java Documentation 1.  6.0 JDK Core 2.  6.0 JDK Modules 3.  6.0 JDK Modules com.sun 4.  6.0 JDK Modules com.sun.java 5.  6.0 JDK Modules sun 6.  6.0 JDK Platform 7.  Ajax 8.  Apache Harmony Java SE 9.  Aspect oriented 10.  Authentication Authorization 11.  Blogger System 12.  Build 13.  Byte Code 14.  Cache 15.  Chart 16.  Chat 17.  Code Analyzer 18.  Collaboration 19.  Content Management System 20.  Database Client 21.  Database DBMS 22.  Database JDBC Connection Pool 23.  Database ORM 24.  Development 25.  EJB Server geronimo 26.  EJB Server GlassFish 27.  EJB Server JBoss 4.2.1 28.  EJB Server resin 3.1.5 29.  ERP CRM Financial 30.  ESB 31.  Forum 32.  GIS 33.  Graphic Library 34.  Groupware 35.  HTML Parser 36.  IDE 37.  IDE Eclipse 38.  IDE Netbeans 39.  Installer 40.  Internationalization Localization 41.  Inversion of Control 42.  Issue Tracking 43.  J2EE 44.  JBoss 45.  JMS 46.  JMX 47.  Library 48.  Mail Clients 49.  Net 50.  Parser 51.  PDF 52.  Portal 53.  Profiler 54.  Project Management 55.  Report 56.  RSS RDF 57.  Rule Engine 58.  Science 59.  Scripting 60.  Search Engine 61.  Security 62.  Sevlet Container 63.  Source Control 64.  Swing Library 65.  Template Engine 66.  Test Coverage 67.  Testing 68.  UML 69.  Web Crawler 70.  Web Framework 71.  Web Mail 72.  Web Server 73.  Web Services 74.  Web Services apache cxf 2.0.1 75.  Web Services AXIS2 76.  Wiki Engine 77.  Workflow Engines 78.  XML 79.  XML UI Java Java Tutorial Java Open Source Jar File Download Java Articles Java Products Java by API Photoshop Tutorials Maya Tutorials Flash Tutorials 3ds-Max Tutorials Illustrator Tutorials GIMP Tutorials C# / C Sharp C# / CSharp Tutorial C# / CSharp Open Source ASP.Net ASP.NET Tutorial JavaScript DHTML JavaScript Tutorial JavaScript Reference HTML / CSS HTML CSS Reference C / ANSI-C C Tutorial C++ C++ Tutorial Ruby PHP Python Python Tutorial Python Open Source SQL Server / T-SQL SQL Server / T-SQL Tutorial Oracle PL / SQL Oracle PL/SQL Tutorial PostgreSQL SQL / MySQL MySQL Tutorial VB.Net VB.Net Tutorial Flash / Flex / ActionScript VBA / Excel / Access / Word XML XML Tutorial Microsoft Office PowerPoint 2007 Tutorial Microsoft Office Excel 2007 Tutorial Microsoft Office Word 2007 Tutorial

Java Source Code / Java Documentation » Parser » Rats Parser Generators » xtc.typical   Source Cross Reference   Class Diagram   Java Document (Java Doc)   java.lang.Object    xtc.typical.Analyzer       xtc.typical.TypicalAnalyzer TypicalAnalyzer public class TypicalAnalyzer extends Analyzer (Code) Type checker for Typical. Inner Class :protected class removeLast Inner Class :protected class preload Field Summary final  Function.F1<Boolean, Pair<TypicalTypes.patternRecord>> allWildCard      final  Function.F1<TypicalTypes.raw_type<?>, Node> analyze      final  Function.F1<TypicalTypes.entry, Node> analyzeBinding      final  Function.F2<Pair<TypicalTypes.entry>, Pair<Node>, Pair<TypicalTypes.entry>> analyzeBindings      final  Function.F2<TypicalTypes.raw_type<?>, Node, Pair<TypicalTypes.entry>> analyzeExpression      final  Function.F1<TypicalTypes.raw_type<?>, Node> analyzeTypeDefinition      final  TypicalTypes.raw_type boolt      final  Function.F1<Pair<Pair<TypicalTypes.patternRecord>>, Pair<Pair<TypicalTypes.patternRecord>>> buildDMatrix      final  Function.F1<TypicalTypes.graph, Pair<Node>> buildGraph      final  Function.F3<Pair<Pair<TypicalTypes.patternRecord>>, Pair<Pair<TypicalTypes.patternRecord>>, Pair<TypicalTypes.patternRecord>, Pair<TypicalTypes.patternRecord>> buildMatrix      final  Function.F2<Pair<TypicalTypes.pattern>, Pair<TypicalTypes.pattern>, TypicalTypes.constr> buildResultPattern      final  Function.F3<Pair<Pair<TypicalTypes.patternRecord>>, Pair<Pair<TypicalTypes.patternRecord>>, TypicalTypes.constr, Pair<Pair<TypicalTypes.patternRecord>>> buildSMatrix      final  Function.F3<Boolean, Pair<Node>, BigInteger, BigInteger> checkBindings      final  Function.F2<Boolean, Pair<TypicalTypes.raw_type<?>>, Pair<TypicalTypes.constr>> checkComplete      final  Function.F2<Boolean, Pair<TypicalTypes.patternRecord>, Pair<TypicalTypes.patternRecord>> checkContain      final  Function.F2<Boolean, String, Pair<TypicalTypes.entry>> checkDefined      final  Function.F1<Boolean, Pair<Node>> checkExhaustive      final  Function.F2<Boolean, Pair<TypicalTypes.patternRecord>, TypicalTypes.patternRecord> checkInList      final  Function.F1<Object, Pair<Node>> checkIrredundant      final  Function.F2<Boolean, Pair<TypicalTypes.patternRecord>, Pair<TypicalTypes.patternRecord>> checkListInList      final  Function.F2<Boolean, Node, Node> checkMonomorphic      final  Function.F1<TypicalTypes.raw_type<?>, Pair<TypicalTypes.raw_type<?>>> checkNodeList      final  Function.F2<TypicalTypes.result, Pair<Pair<TypicalTypes.patternRecord>>, BigInteger> checkPartial      final  Function.F2<Object, Pair<TypicalTypes.patternRecord>, Pair<TypicalTypes.patternRecord>> checkPatterns      final  Function.F2<Boolean, Pair<TypicalTypes.raw_type<?>>, TypicalTypes.raw_type<?>> checkPolyUnify      final  Function.F1<Object, Pair<Node>> checkReduceMatching      final  Function.F2<Object, Pair<TypicalTypes.patternRecord>, Pair<TypicalTypes.patternRecord>> checkReducePatterns      final  Function.F2<Object, Pair<TypicalTypes.patternRecord>, TypicalTypes.patternRecord> checkReduceUnused      final  Function.F3<Pair<TypicalTypes.patternRecord>, Pair<TypicalTypes.patternRecord>, TypicalTypes.patternRecord, Pair<TypicalTypes.patternRecord>> checkRemovePattern      final  Function.F2<TypicalTypes.result, Pair<Pair<TypicalTypes.patternRecord>>, TypicalTypes.constr> checkSubPartial      final  Function.F2<TypicalTypes.result, Pair<Pair<TypicalTypes.patternRecord>>, Pair<TypicalTypes.constr>> checkSubPartials      final  Function.F2<Boolean, Pair<TypicalTypes.patternRecord>, TypicalTypes.patternRecord> checkUnused      final  Function.F1<Object, Pair<Node>> checkUnusedParameters      final  Function.F2<Object, Pair<String>, Node> checkUnusedVariables      final  Function.F2<Boolean, Pair<TypicalTypes.patternRecord>, TypicalTypes.patternRecord> checkUsed      final  Function.F1<Pair<String>, TypicalTypes.raw_type<?>> collectTypeVariables      final  Function.F1<Pair<String>, Pair<Node>> combineVariables      final  Function.F1<Boolean, Pair<TypicalTypes.constr>> completeSigma      final  Function.F2<Boolean, TypicalTypes.patternRecord, TypicalTypes.patternRecord> containPattern      final  Function.F1<TypicalTypes.raw_type<?>, TypicalTypes.raw_type<?>> copy      final  Function.F2<BigInteger, String, Node> countAppearance      final  Function.F2<BigInteger, String, Pair<Node>> countInList      final  Function.F1<TypicalTypes.raw_type<?>, Node> createFunctionType      final  Function.F1<Object, Pair<TypicalTypes.raw_type<?>>> createTypeRecord      final  Function.F1<Object, TypicalTypes.entry> defineEntry      final  Function.F1<Boolean, Pair<TypicalTypes.constr>> emptySigma      final  Function.F1<TypicalTypes.raw_type<?>, TypicalTypes.raw_type<?>> ensureNodeList      final  Function.F1<TypicalTypes.raw_type<?>, TypicalTypes.raw_type<?>> ensureNodeType      final  Function.F2<Boolean, TypicalTypes.patternRecord, TypicalTypes.patternRecord> equalPattern      final  Function.F2<Boolean, Pair<TypicalTypes.patternRecord>, Pair<TypicalTypes.patternRecord>> equalPatternList      final  Function.F2<Pair<TypicalTypes.patternRecord>, TypicalTypes.patternRecord, TypicalTypes.constr> expandPattern      final  Function.F1<Pair<TypicalTypes.patternRecord>, TypicalTypes.patternRecord> expandRecPattern      final  Function.F1<Pair<Pair<String>>, Pair<TypicalTypes.call>> findCircles      final  Function.F2<TypicalTypes.pattern, Double, Pair<TypicalTypes.constr>> findFloatPattern      final  Function.F2<TypicalTypes.pattern, BigInteger, Pair<TypicalTypes.constr>> findIntPattern      final  Function.F6<Pair<Pair<String>>, String, String, Pair<String>, Pair<String>, Pair<Pair<String>>, Pair<TypicalTypes.call>> findPaths      final  Function.F6<Pair<Pair<String>>, Pair<String>, String, Pair<String>, Pair<String>, Pair<Pair<String>>, Pair<TypicalTypes.call>> findPathsList      final  Function.F2<TypicalTypes.pattern, String, Pair<TypicalTypes.constr>> findStringPattern      final  Function.F2<TypicalTypes.pattern, Pair<TypicalTypes.raw_type<?>>, Pair<TypicalTypes.constr>> findUnmatchedConstructor      final  Function.F1<TypicalTypes.pattern, Pair<TypicalTypes.constr>> findUnmatchedPattern      final  TypicalTypes.raw_type floatt      final  Function.F2<String, Node, String> getAnnotatedString      final  Function.F2<Pair<String>, Node, String> getAnnotatedStringList      final  Function.F3<Pair<TypicalTypes.call>, Node, String, Pair<TypicalTypes.call>> getCall      final  Function.F3<Pair<TypicalTypes.call>, Pair<Node>, String, Pair<TypicalTypes.call>> getCallList      final  Function.F2<Pair<String>, Pair<TypicalTypes.call>, Pair<String>> getCallees      final  Function.F2<Pair<String>, String, Pair<TypicalTypes.call>> getChildren      final  Function.F1<TypicalTypes.constr, TypicalTypes.patternRecord> getConstructor      final  Function.F1<BigInteger, String> getConstructorSize      final  Function.F2<TypicalTypes.raw_type<?>, String, Pair<TypicalTypes.raw_type<?>>> getConstructorType      final  Function.F3<Pair<String>, String, Pair<TypicalTypes.call>, Pair<String>> getDepend      final  Function.F2<TypicalTypes.raw_type<?>, String, Pair<TypicalTypes.raw_type<?>>> getFieldType      final  Function.F1<Pair<TypicalTypes.patternRecord>, TypicalTypes.patternRecord> getListFromPair      final  Function.F2<Pair<String>, String, Pair<Pair<String>>> getMutual      final  Function.F1<Tuple.T3<Name, String, String>, Node> getNameSpace      final  Function.F1<Pair<String>, Pair<TypicalTypes.entry>> getNames      final  Function.F1<Pair<Node>, Node> getNodeList      final  Function.F1<Pair<String>, Pair<Node>> getNodeTypes      final  Function.F1<Pair<Node>, Pair<String>> getNodes      final  Function.F1<TypicalTypes.patternRecord, Pair<TypicalTypes.patternRecord>> getPairFromList      final  Function.F1<String, TypicalTypes.raw_type<?>> getParent      final  Function.F1<Pair<Node>, Pair<Node>> getPatternNodes      final  Function.F1<TypicalTypes.patternRecord, Node> getPatternRecord      final  Function.F1<Pair<TypicalTypes.patternRecord>, Pair<Node>> getPatternRecords      final  Function.F2<Pair<String>, String, Pair<Node>> getReachableTypes      final  Function.F3<Pair<TypicalTypes.nodeRec>, Pair<String>, Pair<TypicalTypes.call>, Pair<Pair<String>>> getResult      final  Function.F3<TypicalTypes.nodeRec, String, Pair<TypicalTypes.call>, Pair<Pair<String>>> getResultNode      final  Function.F1<Scope, Node> getScope      final  Function.F2<Pair<Node>, Pair<Node>, Pair<Node>> getScopeSpace      final  Function.F2<Pair<TypicalTypes.constr>, Pair<TypicalTypes.constr>, Pair<Pair<TypicalTypes.patternRecord>>> getSigma      final  Function.F1<String, Node> getString      final  Function.F1<Pair<String>, Node> getStringList      final  Function.F2<String, Pair<TypicalTypes.raw_type<?>>, String> getTypeListName      final  Function.F1<String, TypicalTypes.raw_type<?>> getTypeName      final  Function.F2<Pair<String>, String, Pair<Node>> getTypeNameList      final  Function.F2<Pair<String>, String, Node> getTypeNames      final  Function.F2<Pair<String>, Pair<Node>, Pair<String>> getTypeVariables      final  Function.F4<TypicalTypes.group, String, Pair<Pair<String>>, Pair<String>, Pair<Pair<String>>> groupBy      final  Function.F2<Pair<Pair<String>>, Pair<Pair<String>>, Pair<String>> groupCircles      final  Function.F1<Boolean, String> hasTypeVariables      final  Function.F2<Boolean, Pair<String>, Pair<Node>> haveSameVariables      final  TypicalTypes.raw_type intt      final  Function.F1<Boolean, TypicalTypes.raw_type<?>> isListType      final  Function.F2<Boolean, TypicalTypes.patternRecord, TypicalTypes.patternRecord> isMoreGeneral      final  Function.F1<Boolean, TypicalTypes.raw_type<?>> isNodeList      final  Function.F1<Boolean, TypicalTypes.raw_type<?>> isNodeType      final  Function.F2<Boolean, String, Pair<Node>> isUsedInList      final  Function.F2<Boolean, String, Node> isUsedVariable      final  Function.F2<String, Pair<String>, String> joinStringList      final  Function.F2<Boolean, Pair<TypicalTypes.patternRecord>, Pair<TypicalTypes.patternRecord>> lessPatternList      final  Function.F2<Boolean, Pair<String>, Pair<String>> listContains      final  Function.F2<TypicalTypes.patternRecord, String, Pair<TypicalTypes.patternRecord>> makeFieldPattern      final  Function.F2<Pair<TypicalTypes.patternRecord>, Pair<TypicalTypes.raw_type<?>>, Pair<TypicalTypes.patternRecord>> makeFieldPatterns      final  Function.F1<Pair<TypicalTypes.patternRecord>, Pair<TypicalTypes.pattern>> makePatternRecords      final  Function.F1<Pair<String>, Pair<TypicalTypes.raw_type<?>>> makeUnion      final  Function.F1<Pair<TypicalTypes.patternRecord>, BigInteger> makeWildCards      protected  String nodeType      final  TypicalTypes.raw_type nodet      final  preload preload      final  Function.F3<TypicalTypes.raw_type<?>, Pair<Node>, Pair<TypicalTypes.raw_type<?>>, TypicalTypes.raw_type<?>> processArguments      final  Function.F1<Pair<TypicalTypes.raw_type<?>>, Pair<Node>> processAttributes      final  Function.F2<Pair<Object>, Pair<Node>, Pair<TypicalTypes.raw_type<?>>> processBodies      final  Function.F2<TypicalTypes.raw_type<?>, TypicalTypes.raw_type<?>, Pair<Node>> processFunctionApplication      final  Function.F1<Pair<Object>, Pair<Node>> processFunctionCalls      final  Function.F1<Object, Node> processMutual      final  Function.F3<Pair<String>, Pair<String>, Pair<Node>, Pair<String>> processNodeType      final  Function.F1<Object, Pair<Node>> processScopeSpace      final  Function.F1<Boolean, Pair<Pair<TypicalTypes.patternRecord>>> quickPartialCheck      final  Function.F1<Boolean, String> reachableFromNode      final  Function.F3<Pair<TypicalTypes.pattern>, BigInteger, Pair<TypicalTypes.pattern>, Pair<TypicalTypes.pattern>> reduceRecordPattern      final  Function.F3<Pair<TypicalTypes.pattern>, BigInteger, Pair<TypicalTypes.pattern>, Pair<TypicalTypes.pattern>> reduceTuplePattern      final  Function.F4<Pair<TypicalTypes.pattern>, String, BigInteger, Pair<TypicalTypes.pattern>, Pair<TypicalTypes.pattern>> reduceTypeConstructorPattern      final  Function.F1<Object, TypicalTypes.nodeRec> rememberOnNode      final  Function.F2<Pair<String>, String, Pair<String>> remove      final  removeLast removeLast      final  Function.F2<Pair<String>, Pair<String>, Pair<String>> removeMutual      final  Function.F2<Pair<String>, Pair<String>, Node> removeUsedVariables      final  Function.F1<Pair<TypicalTypes.constr>, Pair<TypicalTypes.constr>> removeWildConstr      final  Function.F2<Pair<TypicalTypes.call>, Pair<TypicalTypes.call>, Pair<String>> removeWrongEdges      final  Function.F3<TypicalTypes.raw_type<?>, TypicalTypes.raw_type<?>, String, String> replace      final  Function.F3<Pair<TypicalTypes.raw_type<?>>, Pair<TypicalTypes.raw_type<?>>, String, String> replaceList      final  Function.F2<TypicalTypes.raw_type<?>, Pair<String>, TypicalTypes.raw_type<?>> replaceTypeVariables      final  Function.F1<Pair<Object>, Node> resolveMutual      final  Function.F1<Object, String> resolveMutualName      final  Function.F1<Object, Node> resolveNode      final  Function.F1<TypicalTypes.raw_type<?>, TypicalTypes.raw_type<?>> resolveRecordType      final  Function.F1<TypicalTypes.raw_type<?>, TypicalTypes.raw_type<?>> resolveType      final  Function.F1<Pair<String>, Node> retrieveVariables      final  Function.F1<Object, Node> scanNode      final  Function.F1<String, TypicalTypes.pattern> showPattern      final  Function.F1<String, Pair<TypicalTypes.patternRecord>> showPatternRecords      final  Function.F1<String, Pair<TypicalTypes.pattern>> showPatterns      final  Function.F2<Boolean, Pair<TypicalTypes.constr>, String> sigmaContains      final  TypicalTypes.raw_type strt      final  TypicalTypes.raw_type typet      final  Function.F2<TypicalTypes.raw_type<?>, TypicalTypes.raw_type<?>, TypicalTypes.raw_type<?>> unify      final  Function.F2<Pair<TypicalTypes.raw_type<?>>, Pair<TypicalTypes.raw_type<?>>, Pair<TypicalTypes.raw_type<?>>> unifyTwoList      final  Function.F2<Pair<String>, Pair<String>, Pair<String>> unionAppend      final  Function.F1<Pair<TypicalTypes.raw_type<?>>, Node> visitDepend      final  Function.F1<TypicalTypes.raw_type<?>, String> visitDependNode      final  Function.F2<Object, Pair<String>, Pair<Node>> visitFunctions      final  TypicalTypes.raw_type wildt      Constructor Summary public   TypicalAnalyzer(Runtime runt, String nodeType)      Method Summary public  void getScopeNodes()      Field Detail allWildCard final Function.F1<Boolean, Pair<TypicalTypes.patternRecord>> allWildCard(Code) analyze final Function.F1<TypicalTypes.raw_type<?>, Node> analyze(Code) analyzeBinding final Function.F1<TypicalTypes.entry, Node> analyzeBinding(Code) analyzeBindings final Function.F2<Pair<TypicalTypes.entry>, Pair<Node>, Pair<TypicalTypes.entry>> analyzeBindings(Code) analyzeExpression final Function.F2<TypicalTypes.raw_type<?>, Node, Pair<TypicalTypes.entry>> analyzeExpression(Code) analyzeTypeDefinition final Function.F1<TypicalTypes.raw_type<?>, Node> analyzeTypeDefinition(Code) boolt final TypicalTypes.raw_type boolt(Code) buildDMatrix final Function.F1<Pair<Pair<TypicalTypes.patternRecord>>, Pair<Pair<TypicalTypes.patternRecord>>> buildDMatrix(Code) buildGraph final Function.F1<TypicalTypes.graph, Pair<Node>> buildGraph(Code) buildMatrix final Function.F3<Pair<Pair<TypicalTypes.patternRecord>>, Pair<Pair<TypicalTypes.patternRecord>>, Pair<TypicalTypes.patternRecord>, Pair<TypicalTypes.patternRecord>> buildMatrix(Code) buildResultPattern final Function.F2<Pair<TypicalTypes.pattern>, Pair<TypicalTypes.pattern>, TypicalTypes.constr> buildResultPattern(Code) buildSMatrix final Function.F3<Pair<Pair<TypicalTypes.patternRecord>>, Pair<Pair<TypicalTypes.patternRecord>>, TypicalTypes.constr, Pair<Pair<TypicalTypes.patternRecord>>> buildSMatrix(Code) checkBindings final Function.F3<Boolean, Pair<Node>, BigInteger, BigInteger> checkBindings(Code) checkComplete final Function.F2<Boolean, Pair<TypicalTypes.raw_type<?>>, Pair<TypicalTypes.constr>> checkComplete(Code) checkContain final Function.F2<Boolean, Pair<TypicalTypes.patternRecord>, Pair<TypicalTypes.patternRecord>> checkContain(Code) checkDefined final Function.F2<Boolean, String, Pair<TypicalTypes.entry>> checkDefined(Code) checkExhaustive final Function.F1<Boolean, Pair<Node>> checkExhaustive(Code) checkInList final Function.F2<Boolean, Pair<TypicalTypes.patternRecord>, TypicalTypes.patternRecord> checkInList(Code) checkIrredundant final Function.F1<Object, Pair<Node>> checkIrredundant(Code) checkListInList final Function.F2<Boolean, Pair<TypicalTypes.patternRecord>, Pair<TypicalTypes.patternRecord>> checkListInList(Code) checkMonomorphic final Function.F2<Boolean, Node, Node> checkMonomorphic(Code) checkNodeList final Function.F1<TypicalTypes.raw_type<?>, Pair<TypicalTypes.raw_type<?>>> checkNodeList(Code) checkPartial final Function.F2<TypicalTypes.result, Pair<Pair<TypicalTypes.patternRecord>>, BigInteger> checkPartial(Code) checkPatterns final Function.F2<Object, Pair<TypicalTypes.patternRecord>, Pair<TypicalTypes.patternRecord>> checkPatterns(Code) checkPolyUnify final Function.F2<Boolean, Pair<TypicalTypes.raw_type<?>>, TypicalTypes.raw_type<?>> checkPolyUnify(Code) checkReduceMatching final Function.F1<Object, Pair<Node>> checkReduceMatching(Code) checkReducePatterns final Function.F2<Object, Pair<TypicalTypes.patternRecord>, Pair<TypicalTypes.patternRecord>> checkReducePatterns(Code) checkReduceUnused final Function.F2<Object, Pair<TypicalTypes.patternRecord>, TypicalTypes.patternRecord> checkReduceUnused(Code) checkRemovePattern final Function.F3<Pair<TypicalTypes.patternRecord>, Pair<TypicalTypes.patternRecord>, TypicalTypes.patternRecord, Pair<TypicalTypes.patternRecord>> checkRemovePattern(Code) checkSubPartial final Function.F2<TypicalTypes.result, Pair<Pair<TypicalTypes.patternRecord>>, TypicalTypes.constr> checkSubPartial(Code) checkSubPartials final Function.F2<TypicalTypes.result, Pair<Pair<TypicalTypes.patternRecord>>, Pair<TypicalTypes.constr>> checkSubPartials(Code) checkUnused final Function.F2<Boolean, Pair<TypicalTypes.patternRecord>, TypicalTypes.patternRecord> checkUnused(Code) checkUnusedParameters final Function.F1<Object, Pair<Node>> checkUnusedParameters(Code) checkUnusedVariables final Function.F2<Object, Pair<String>, Node> checkUnusedVariables(Code) checkUsed final Function.F2<Boolean, Pair<TypicalTypes.patternRecord>, TypicalTypes.patternRecord> checkUsed(Code) collectTypeVariables final Function.F1<Pair<String>, TypicalTypes.raw_type<?>> collectTypeVariables(Code) combineVariables final Function.F1<Pair<String>, Pair<Node>> combineVariables(Code) completeSigma final Function.F1<Boolean, Pair<TypicalTypes.constr>> completeSigma(Code) containPattern final Function.F2<Boolean, TypicalTypes.patternRecord, TypicalTypes.patternRecord> containPattern(Code) copy final Function.F1<TypicalTypes.raw_type<?>, TypicalTypes.raw_type<?>> copy(Code) countAppearance final Function.F2<BigInteger, String, Node> countAppearance(Code) countInList final Function.F2<BigInteger, String, Pair<Node>> countInList(Code) createFunctionType final Function.F1<TypicalTypes.raw_type<?>, Node> createFunctionType(Code) createTypeRecord final Function.F1<Object, Pair<TypicalTypes.raw_type<?>>> createTypeRecord(Code) defineEntry final Function.F1<Object, TypicalTypes.entry> defineEntry(Code) emptySigma final Function.F1<Boolean, Pair<TypicalTypes.constr>> emptySigma(Code) ensureNodeList final Function.F1<TypicalTypes.raw_type<?>, TypicalTypes.raw_type<?>> ensureNodeList(Code) ensureNodeType final Function.F1<TypicalTypes.raw_type<?>, TypicalTypes.raw_type<?>> ensureNodeType(Code) equalPattern final Function.F2<Boolean, TypicalTypes.patternRecord, TypicalTypes.patternRecord> equalPattern(Code) equalPatternList final Function.F2<Boolean, Pair<TypicalTypes.patternRecord>, Pair<TypicalTypes.patternRecord>> equalPatternList(Code) expandPattern final Function.F2<Pair<TypicalTypes.patternRecord>, TypicalTypes.patternRecord, TypicalTypes.constr> expandPattern(Code) expandRecPattern final Function.F1<Pair<TypicalTypes.patternRecord>, TypicalTypes.patternRecord> expandRecPattern(Code) findCircles final Function.F1<Pair<Pair<String>>, Pair<TypicalTypes.call>> findCircles(Code) findFloatPattern final Function.F2<TypicalTypes.pattern, Double, Pair<TypicalTypes.constr>> findFloatPattern(Code) findIntPattern final Function.F2<TypicalTypes.pattern, BigInteger, Pair<TypicalTypes.constr>> findIntPattern(Code) findPaths final Function.F6<Pair<Pair<String>>, String, String, Pair<String>, Pair<String>, Pair<Pair<String>>, Pair<TypicalTypes.call>> findPaths(Code) findPathsList final Function.F6<Pair<Pair<String>>, Pair<String>, String, Pair<String>, Pair<String>, Pair<Pair<String>>, Pair<TypicalTypes.call>> findPathsList(Code) findStringPattern final Function.F2<TypicalTypes.pattern, String, Pair<TypicalTypes.constr>> findStringPattern(Code) findUnmatchedConstructor final Function.F2<TypicalTypes.pattern, Pair<TypicalTypes.raw_type<?>>, Pair<TypicalTypes.constr>> findUnmatchedConstructor(Code) findUnmatchedPattern final Function.F1<TypicalTypes.pattern, Pair<TypicalTypes.constr>> findUnmatchedPattern(Code) floatt final TypicalTypes.raw_type floatt(Code) getAnnotatedString final Function.F2<String, Node, String> getAnnotatedString(Code) getAnnotatedStringList final Function.F2<Pair<String>, Node, String> getAnnotatedStringList(Code) getCall final Function.F3<Pair<TypicalTypes.call>, Node, String, Pair<TypicalTypes.call>> getCall(Code) getCallList final Function.F3<Pair<TypicalTypes.call>, Pair<Node>, String, Pair<TypicalTypes.call>> getCallList(Code) getCallees final Function.F2<Pair<String>, Pair<TypicalTypes.call>, Pair<String>> getCallees(Code) getChildren final Function.F2<Pair<String>, String, Pair<TypicalTypes.call>> getChildren(Code) getConstructor final Function.F1<TypicalTypes.constr, TypicalTypes.patternRecord> getConstructor(Code) getConstructorSize final Function.F1<BigInteger, String> getConstructorSize(Code) getConstructorType final Function.F2<TypicalTypes.raw_type<?>, String, Pair<TypicalTypes.raw_type<?>>> getConstructorType(Code) getDepend final Function.F3<Pair<String>, String, Pair<TypicalTypes.call>, Pair<String>> getDepend(Code) getFieldType final Function.F2<TypicalTypes.raw_type<?>, String, Pair<TypicalTypes.raw_type<?>>> getFieldType(Code) getListFromPair final Function.F1<Pair<TypicalTypes.patternRecord>, TypicalTypes.patternRecord> getListFromPair(Code) getMutual final Function.F2<Pair<String>, String, Pair<Pair<String>>> getMutual(Code) getNameSpace final Function.F1<Tuple.T3<Name, String, String>, Node> getNameSpace(Code) getNames final Function.F1<Pair<String>, Pair<TypicalTypes.entry>> getNames(Code) getNodeList final Function.F1<Pair<Node>, Node> getNodeList(Code) getNodeTypes final Function.F1<Pair<String>, Pair<Node>> getNodeTypes(Code) getNodes final Function.F1<Pair<Node>, Pair<String>> getNodes(Code) getPairFromList final Function.F1<TypicalTypes.patternRecord, Pair<TypicalTypes.patternRecord>> getPairFromList(Code) getParent final Function.F1<String, TypicalTypes.raw_type<?>> getParent(Code) getPatternNodes final Function.F1<Pair<Node>, Pair<Node>> getPatternNodes(Code) getPatternRecord final Function.F1<TypicalTypes.patternRecord, Node> getPatternRecord(Code) getPatternRecords final Function.F1<Pair<TypicalTypes.patternRecord>, Pair<Node>> getPatternRecords(Code) getReachableTypes final Function.F2<Pair<String>, String, Pair<Node>> getReachableTypes(Code) getResult final Function.F3<Pair<TypicalTypes.nodeRec>, Pair<String>, Pair<TypicalTypes.call>, Pair<Pair<String>>> getResult(Code) getResultNode final Function.F3<TypicalTypes.nodeRec, String, Pair<TypicalTypes.call>, Pair<Pair<String>>> getResultNode(Code) getScope final Function.F1<Scope, Node> getScope(Code) getScopeSpace final Function.F2<Pair<Node>, Pair<Node>, Pair<Node>> getScopeSpace(Code) getSigma final Function.F2<Pair<TypicalTypes.constr>, Pair<TypicalTypes.constr>, Pair<Pair<TypicalTypes.patternRecord>>> getSigma(Code) getString final Function.F1<String, Node> getString(Code) getStringList final Function.F1<Pair<String>, Node> getStringList(Code) getTypeListName final Function.F2<String, Pair<TypicalTypes.raw_type<?>>, String> getTypeListName(Code) getTypeName final Function.F1<String, TypicalTypes.raw_type<?>> getTypeName(Code) getTypeNameList final Function.F2<Pair<String>, String, Pair<Node>> getTypeNameList(Code) getTypeNames final Function.F2<Pair<String>, String, Node> getTypeNames(Code) getTypeVariables final Function.F2<Pair<String>, Pair<Node>, Pair<String>> getTypeVariables(Code) groupBy final Function.F4<TypicalTypes.group, String, Pair<Pair<String>>, Pair<String>, Pair<Pair<String>>> groupBy(Code) groupCircles final Function.F2<Pair<Pair<String>>, Pair<Pair<String>>, Pair<String>> groupCircles(Code) hasTypeVariables final Function.F1<Boolean, String> hasTypeVariables(Code) haveSameVariables final Function.F2<Boolean, Pair<String>, Pair<Node>> haveSameVariables(Code) intt final TypicalTypes.raw_type intt(Code) isListType final Function.F1<Boolean, TypicalTypes.raw_type<?>> isListType(Code) isMoreGeneral final Function.F2<Boolean, TypicalTypes.patternRecord, TypicalTypes.patternRecord> isMoreGeneral(Code) isNodeList final Function.F1<Boolean, TypicalTypes.raw_type<?>> isNodeList(Code) isNodeType final Function.F1<Boolean, TypicalTypes.raw_type<?>> isNodeType(Code) isUsedInList final Function.F2<Boolean, String, Pair<Node>> isUsedInList(Code) isUsedVariable final Function.F2<Boolean, String, Node> isUsedVariable(Code) joinStringList final Function.F2<String, Pair<String>, String> joinStringList(Code) lessPatternList final Function.F2<Boolean, Pair<TypicalTypes.patternRecord>, Pair<TypicalTypes.patternRecord>> lessPatternList(Code) listContains final Function.F2<Boolean, Pair<String>, Pair<String>> listContains(Code) makeFieldPattern final Function.F2<TypicalTypes.patternRecord, String, Pair<TypicalTypes.patternRecord>> makeFieldPattern(Code) makeFieldPatterns final Function.F2<Pair<TypicalTypes.patternRecord>, Pair<TypicalTypes.raw_type<?>>, Pair<TypicalTypes.patternRecord>> makeFieldPatterns(Code) makePatternRecords final Function.F1<Pair<TypicalTypes.patternRecord>, Pair<TypicalTypes.pattern>> makePatternRecords(Code) makeUnion final Function.F1<Pair<String>, Pair<TypicalTypes.raw_type<?>>> makeUnion(Code) makeWildCards final Function.F1<Pair<TypicalTypes.patternRecord>, BigInteger> makeWildCards(Code) nodeType protected String nodeType(Code) nodet final TypicalTypes.raw_type nodet(Code) preload final preload preload(Code) processArguments final Function.F3<TypicalTypes.raw_type<?>, Pair<Node>, Pair<TypicalTypes.raw_type<?>>, TypicalTypes.raw_type<?>> processArguments(Code) processAttributes final Function.F1<Pair<TypicalTypes.raw_type<?>>, Pair<Node>> processAttributes(Code) processBodies final Function.F2<Pair<Object>, Pair<Node>, Pair<TypicalTypes.raw_type<?>>> processBodies(Code) processFunctionApplication final Function.F2<TypicalTypes.raw_type<?>, TypicalTypes.raw_type<?>, Pair<Node>> processFunctionApplication(Code) processFunctionCalls final Function.F1<Pair<Object>, Pair<Node>> processFunctionCalls(Code) processMutual final Function.F1<Object, Node> processMutual(Code) processNodeType final Function.F3<Pair<String>, Pair<String>, Pair<Node>, Pair<String>> processNodeType(Code) processScopeSpace final Function.F1<Object, Pair<Node>> processScopeSpace(Code) quickPartialCheck final Function.F1<Boolean, Pair<Pair<TypicalTypes.patternRecord>>> quickPartialCheck(Code) reachableFromNode final Function.F1<Boolean, String> reachableFromNode(Code) reduceRecordPattern final Function.F3<Pair<TypicalTypes.pattern>, BigInteger, Pair<TypicalTypes.pattern>, Pair<TypicalTypes.pattern>> reduceRecordPattern(Code) reduceTuplePattern final Function.F3<Pair<TypicalTypes.pattern>, BigInteger, Pair<TypicalTypes.pattern>, Pair<TypicalTypes.pattern>> reduceTuplePattern(Code) reduceTypeConstructorPattern final Function.F4<Pair<TypicalTypes.pattern>, String, BigInteger, Pair<TypicalTypes.pattern>, Pair<TypicalTypes.pattern>> reduceTypeConstructorPattern(Code) rememberOnNode final Function.F1<Object, TypicalTypes.nodeRec> rememberOnNode(Code) remove final Function.F2<Pair<String>, String, Pair<String>> remove(Code) removeLast final removeLast removeLast(Code) removeMutual final Function.F2<Pair<String>, Pair<String>, Pair<String>> removeMutual(Code) removeUsedVariables final Function.F2<Pair<String>, Pair<String>, Node> removeUsedVariables(Code) removeWildConstr final Function.F1<Pair<TypicalTypes.constr>, Pair<TypicalTypes.constr>> removeWildConstr(Code) removeWrongEdges final Function.F2<Pair<TypicalTypes.call>, Pair<TypicalTypes.call>, Pair<String>> removeWrongEdges(Code) replace final Function.F3<TypicalTypes.raw_type<?>, TypicalTypes.raw_type<?>, String, String> replace(Code) replaceList final Function.F3<Pair<TypicalTypes.raw_type<?>>, Pair<TypicalTypes.raw_type<?>>, String, String> replaceList(Code) replaceTypeVariables final Function.F2<TypicalTypes.raw_type<?>, Pair<String>, TypicalTypes.raw_type<?>> replaceTypeVariables(Code) resolveMutual final Function.F1<Pair<Object>, Node> resolveMutual(Code) resolveMutualName final Function.F1<Object, String> resolveMutualName(Code) resolveNode final Function.F1<Object, Node> resolveNode(Code) resolveRecordType final Function.F1<TypicalTypes.raw_type<?>, TypicalTypes.raw_type<?>> resolveRecordType(Code) resolveType final Function.F1<TypicalTypes.raw_type<?>, TypicalTypes.raw_type<?>> resolveType(Code) retrieveVariables final Function.F1<Pair<String>, Node> retrieveVariables(Code) scanNode final Function.F1<Object, Node> scanNode(Code) showPattern final Function.F1<String, TypicalTypes.pattern> showPattern(Code) showPatternRecords final Function.F1<String, Pair<TypicalTypes.patternRecord>> showPatternRecords(Code) showPatterns final Function.F1<String, Pair<TypicalTypes.pattern>> showPatterns(Code) sigmaContains final Function.F2<Boolean, Pair<TypicalTypes.constr>, String> sigmaContains(Code) strt final TypicalTypes.raw_type strt(Code) typet final TypicalTypes.raw_type typet(Code) unify final Function.F2<TypicalTypes.raw_type<?>, TypicalTypes.raw_type<?>, TypicalTypes.raw_type<?>> unify(Code) unifyTwoList final Function.F2<Pair<TypicalTypes.raw_type<?>>, Pair<TypicalTypes.raw_type<?>>, Pair<TypicalTypes.raw_type<?>>> unifyTwoList(Code) unionAppend final Function.F2<Pair<String>, Pair<String>, Pair<String>> unionAppend(Code) visitDepend final Function.F1<Pair<TypicalTypes.raw_type<?>>, Node> visitDepend(Code) visitDependNode final Function.F1<TypicalTypes.raw_type<?>, String> visitDependNode(Code) visitFunctions final Function.F2<Object, Pair<String>, Pair<Node>> visitFunctions(Code) wildt final TypicalTypes.raw_type wildt(Code) Constructor Detail TypicalAnalyzer public TypicalAnalyzer(Runtime runt, String nodeType)(Code) Method Detail 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) Methods inherited from xtc.typical.Analyzer final public static T cast(Object arg)(Code)(Java Doc) protected void checkEnterScope(Node n)(Code)(Java Doc) protected void checkExitScope(Node n)(Code)(Java Doc) final protected static void discard(Object o)(Code)(Java Doc) public static Boolean equal(Object o1, Object o2)(Code)(Java Doc) protected Object error(String s, Node n)(Code)(Java Doc) public Node getASTRoot()(Code)(Java Doc) abstract protected void getScopeNodes()(Code)(Java Doc) protected static Boolean not_equal(Object o1, Object o2)(Code)(Java Doc) protected void printAST(Node n)(Code)(Java Doc) protected void processScope(Node n, Function.F1<?, Node> getScope)(Code)(Java Doc) public SymbolTable run(Node n)(Code)(Java Doc) protected void showMessage(String tag, String msg, Object o)(Code)(Java Doc) final public static String toString(Object o)(Code)(Java Doc) protected Object warning(String s, Node n)(Code)(Java Doc) Methods inherited from java.lang.Object native protected Object clone() throws CloneNotSupportedException(Code)(Java Doc) public boolean equals(Object obj)(Code)(Java Doc) protected void finalize() throws Throwable(Code)(Java Doc) final native public Class getClass()(Code)(Java Doc) native public int hashCode()(Code)(Java Doc) final native public void notify()(Code)(Java Doc) final native public void notifyAll()(Code)(Java Doc) public String toString()(Code)(Java Doc) final native public void wait(long timeout) throws InterruptedException(Code)(Java Doc) final public void wait(long timeout, int nanos) throws InterruptedException(Code)(Java Doc) final public void wait() throws InterruptedException(Code)(Java Doc)