Java Doc for Transformer.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.tree.Visitor       xtc.typical.Transformer Transformer public class Transformer extends Visitor (Code) Visitor to translate Typical ASTs into Java ASTs. author:    Laune Harris, Anh Le version:    $Revision: 1.372 $ Inner Class :static class Attribute Inner Class :static class Equality Inner Class :static class PrimitiveInstance Inner Class :static class Match Field Summary final protected static  String ANNOTATE      The annotation name to indicate it is needed to annotate the node. final protected static  String BINDINGS      The property representing the block contains the bindings argument. final protected static  String INANALYZE      The annotation name to remember it is currently in analyze function. final protected static  String MATCHARG      The property representing the match argument. final protected static  String RHS      The property indicating the right hand side of a binding. final protected static  String SCOPE      The annotation name to indicate it is needed to process scope. final protected static  String TOP      The property indicating the top level of a pattern. final protected static  String TYPE      The type annotation name. protected  List<Attribute> attributeList      A list to store all defined attributes. protected  Node cbody      The class body of the generated typechecker.  Node conditions      protected  List<Attribute> eqAttributeList      A list to store all defined equal attributes. protected  ArrayList<Equality> equalities      List of equal structure. final protected  TreeFactory factory      The tree factory. final protected  Node fmod      Final modifier node. final protected  List<Node> functionDefinitions      The list of function definitions. final protected  Node gnodeType      GNode type. protected  TypeMapper mapper      The Type mapper. protected  HashMap<Match, String> matches      final protected  Node mod      Empty modifier node. protected  HashMap<Node, String> nodeMatches      final protected  Node nodeType      Node type. final protected  String nodeTypeName      The name of the node type. protected  Pair<String> nodeTypes      A list of types that are nodes. final protected  Node nullNode      Nullliteral node. final protected  String output      The name of the checker to be output. protected  String packageName      The package name. protected  Node packageNode      The package node. final protected  Node pmod      Public modifier node. protected  List<Node> primitiveDeclList      A list to store all declarations of instances of primitive list operations. protected  List<PrimitiveInstance> primitiveInsList      A list to store all primitive instances. protected  ArrayList<String> processScopeNodes      A list to store all node names in scope definition. protected  boolean replaceType      A variable to remember is type is optimized. final protected  Runtime runtime      This Transformers runtime. protected  Node sbody      The class body of the support file. protected  boolean seenNameSpace      Flag indicating that a namespace declaration has been seen. protected  boolean seenScope      Flag indicating that a scope definition has been seen. final protected  List<Node> staticFields      The list of field that go into the. protected  GNode supportAST      The root of the support file. final protected  SymbolTable table      The symbol table for this typical file. protected  Node tags      The type enumerations. protected  Node tbody      The class body of the types file. protected  GNode transformed      The root of the generated java ast for the type checker. protected  GNode typesAST      The root of the types file. final protected  Node typical      The root of the incoming typical abstract syntax tree. final protected  HashMap<Integer, String> typicalVars      The cached variables. Constructor Summary public   Transformer(GNode ast, SymbolTable st, String s, Runtime runt)      Initialise this transformer. Method Summary public  Node augmentIfStatement(Node n, String matchArg, GNode no)      public static  Node comment(Node node, String... text)      Wrap the specified node in a documentation comment. Parameters:   node - The node. Parameters:   text - The comment's text. public  Node createTypeRecordEquals()      Create equals method for the record "type". public  Node createVariantEqualsMethod(String variantName)      Create equals method for a constructor that is in equality definition. Parameters:   variantName - The name of the contructor. public  GNode getCheckerAST()      Return the ast of the generated program. public static  List<Integer> getIndexList(GNode node)      public  String getInstanceName(String name, List<String> types)      protected  String getNodeName(Node n)      public  GNode getSupportAST()      Return the ast of the generated support file. public  GNode getTypesAST()      Return the ast of the generated types file. public  Node makeCurry(String funcName, Node args, List<Node> paramTypes, Node retType, Object funcType)      public  Node processRawTypeDefinition()      Process raw_type definition to create "type" record. public  void processScopeSpace()      Store nodes that need to process scopes. public  void run()      Run this transformer. public static  Node toIdentifier(String name)      Create an identifier node with the specified name. Parameters:   name - The name. public  Node toIfStatement(Node condition, Node action)      Create a conditional statement node. Parameters:   condition - The condition node. Parameters:   action - The action statement or block. public static  Node toLiteral(String name, String literal)      Convert the specified string to a literal node. Parameters:   name - The node name. Parameters:   literal - The literal as a string. public static  Node toModifiers(String mod)      Convert the specified string to a modifier in a list of modifiers. public  Node visitAdditiveExpression(GNode n)      Process an additive expression. Parameters:   n - The additive expression node. public  Node visitAsPattern(GNode n)      Generate an as pattern. Parameters:   n - The as pattern node. public  Node visitAssertClause(GNode n)      Transform an assert clause into a function call to assert. Parameters:   n - The assert clause node. public  void visitAttributeDefinition(GNode n)      Process an attribute declaration. public  Node visitBooleanLiteral(GNode n)      Process a boolean literal. public  Node visitBottom(GNode n)      Process a bottom node. Parameters:   n - The bottom node. public  Node visitBottomPattern(GNode n)      Process a bottom pattern. Parameters:   n - The bottom pattern node. public  Node visitConcatenationExpression(GNode n)      Process a concatenation expression. Parameters:   n - The concatenation expression node. public  Node visitConsExpression(GNode n)      Process a cons expression. Parameters:   n - The cons expression node. public  Node visitConsPattern(GNode n)      Process a cons pattern. Parameters:   n - The cons pattern node. public  void visitEqualAttributeDefinition(GNode n)      Process an equal attribute definition. public  void visitEqualityDefinition(GNode n)      Process an equality definition. public  Node visitEqualityExpression(GNode n)      Process an equality expression. Parameters:   n - The equality expression node. public  Node visitErrorClause(GNode n)      Transform an error clause into a function call to either or warning. Parameters:   n - The expression node. public  Node visitFieldAssign(GNode n)      Transform a field assignment. Parameters:   n - The field assignment node. public  Node visitFieldExpression(GNode n)      Process a field expression. Parameters:   n - The field expression node. public  Node visitFloatingLiteral(GNode n)      Process a float literal. Parameters:   n - the float literal node. public  Node visitFunctionApplication(GNode n)      Process a function application. public  Node visitFunctionExpression(GNode n)      public  Node visitGuardExpression(GNode n)      Transform a guard expression. public  Node visitIfElseExpression(GNode n)      Transform an if expression into a java conditional expression. Parameters:   n - The if expression node. public  Node visitIfExpression(GNode n)      Transform an if expression into a java conditional expression. Parameters:   n - The if expression node. public  Node visitIntegerLiteral(GNode n)      Process an integer literal. Parameters:   n - the integer literal node. public  Node visitLetExpression(GNode n)      Process a let expression. Parameters:   n - The let expression node. public  Node visitListLiteral(GNode n)      Process a List literal. Parameters:   n - The list literal node. public  Node visitListPattern(GNode n)      Process a List pattern. Parameters:   n - The list pattern node. public  Node visitLogicalAndExpression(GNode n)      Process a logical and expression. Parameters:   n - The logical and expression node. public  Node visitLogicalNegationExpression(GNode n)      Process a logical negation expression. Parameters:   n - The logical negation expression node. public  Node visitLogicalOrExpression(GNode n)      Process a logical or expression. Parameters:   n - The logical or expression node. public  Node visitLowerID(GNode n)      Process a LowerID node. public  Node visitMatchExpression(GNode n)      Process a match expression type. Parameters:   n - The match expression node. public  void visitModule(GNode n)      Process the module. public  void visitModuleDeclaration(GNode n)      Process a module declaration. public  Node visitMultiplicativeExpression(GNode n)      Process a multiplicative expression. Parameters:   n - The multiplicative expression node. public  void visitNameSpaceDefinition(GNode n)      Process namespace definition. public  Node visitPatternMatch(GNode n)      Process a pattern match. Parameters:   n - The pattern match node. public  List<Node> visitPatternMatching(GNode n)      Process a pattern matching expression. Parameters:   n - The pattern matching node. public  Node visitPatternParameters(GNode n)      Process pattern parameters. Parameters:   n - The pattern parameters node. public  Node visitPatterns(GNode n)      Process a Patterns node. public  Node visitPredicateExpression(GNode n)      Transform a predicate expression. Parameters:   n - The predicate expression. public  void visitRecordDeclaration(GNode n)      Process a record type definition. public  Node visitRecordExpression(GNode n)      Transform a record expression. public  Node visitReduceExpression(GNode n)      Transform a reduce expression. Parameters:   n - The predicate expression. public  Node visitRelationalExpression(GNode n)      Process a relational expression. Parameters:   n - The relational expression node. public  Node visitRequireExpression(GNode n)      Process require expression. public  void visitScopeDefinition(GNode n)      public  GNode visitStringLiteral(GNode n)      Process a string literal. Parameters:   n - The string literal node. public  Node visitTupleConstructor(GNode n)      Create a new named tuple. Parameters:   n - The tuple constructor node. public  Node visitTupleLiteral(GNode n)      Process a tuple literal. Parameters:   n - The tuple literal node. public  Node visitTuplePattern(GNode n)      Process a tuple pattern. Parameters:   n - The tuple pattern node. public  Node visitTypeConstructorPattern(GNode n)      Process a type constructor pattern. Parameters:   n - The type constructor node. public  void visitTypeDefinition(GNode n)      Process a type definition. public  Node visitTypedPattern(GNode n)      Transform a typed pattern. Parameters:   n - The typed pattern node. public  Node visitValueDefinition(GNode n)      Process a value definition. Parameters:   n - The value binding node. public  void visitVariable(GNode n)      Process a variable. public  void visitVariantDeclaration(GNode n)      Process a variant type definition. public  Node visitWhenPattern(GNode n)      Generate a when pattern. Parameters:   n - The when pattern node. public  Node visitWildCard(GNode n)      Transform a wildcard. Parameters:   n - The wildcard node. Field Detail ANNOTATE final protected static String ANNOTATE(Code) The annotation name to indicate it is needed to annotate the node. BINDINGS final protected static String BINDINGS(Code) The property representing the block contains the bindings argument. INANALYZE final protected static String INANALYZE(Code) The annotation name to remember it is currently in analyze function. MATCHARG final protected static String MATCHARG(Code) The property representing the match argument. RHS final protected static String RHS(Code) The property indicating the right hand side of a binding. SCOPE final protected static String SCOPE(Code) The annotation name to indicate it is needed to process scope. TOP final protected static String TOP(Code) The property indicating the top level of a pattern. TYPE final protected static String TYPE(Code) The type annotation name. attributeList protected List<Attribute> attributeList(Code) A list to store all defined attributes. cbody protected Node cbody(Code) The class body of the generated typechecker. conditions Node conditions(Code) eqAttributeList protected List<Attribute> eqAttributeList(Code) A list to store all defined equal attributes. equalities protected ArrayList<Equality> equalities(Code) List of equal structure. factory final protected TreeFactory factory(Code) The tree factory. fmod final protected Node fmod(Code) Final modifier node. functionDefinitions final protected List<Node> functionDefinitions(Code) The list of function definitions. gnodeType final protected Node gnodeType(Code) GNode type. mapper protected TypeMapper mapper(Code) The Type mapper. matches protected HashMap<Match, String> matches(Code) The set of seen match conditions mod final protected Node mod(Code) Empty modifier node. nodeMatches protected HashMap<Node, String> nodeMatches(Code) The set of seen match conditions nodeType final protected Node nodeType(Code) Node type. nodeTypeName final protected String nodeTypeName(Code) The name of the node type. nodeTypes protected Pair<String> nodeTypes(Code) A list of types that are nodes. nullNode final protected Node nullNode(Code) Nullliteral node. output final protected String output(Code) The name of the checker to be output. packageName protected String packageName(Code) The package name. packageNode protected Node packageNode(Code) The package node. pmod final protected Node pmod(Code) Public modifier node. primitiveDeclList protected List<Node> primitiveDeclList(Code) A list to store all declarations of instances of primitive list operations. primitiveInsList protected List<PrimitiveInstance> primitiveInsList(Code) A list to store all primitive instances. processScopeNodes protected ArrayList<String> processScopeNodes(Code) A list to store all node names in scope definition. replaceType protected boolean replaceType(Code) A variable to remember is type is optimized. runtime final protected Runtime runtime(Code) This Transformers runtime. sbody protected Node sbody(Code) The class body of the support file. seenNameSpace protected boolean seenNameSpace(Code) Flag indicating that a namespace declaration has been seen. seenScope protected boolean seenScope(Code) Flag indicating that a scope definition has been seen. staticFields final protected List<Node> staticFields(Code) The list of field that go into the. supportAST protected GNode supportAST(Code) The root of the support file. table final protected SymbolTable table(Code) The symbol table for this typical file. tags protected Node tags(Code) The type enumerations. tbody protected Node tbody(Code) The class body of the types file. transformed protected GNode transformed(Code) The root of the generated java ast for the type checker. typesAST protected GNode typesAST(Code) The root of the types file. typical final protected Node typical(Code) The root of the incoming typical abstract syntax tree. typicalVars final protected HashMap<Integer, String> typicalVars(Code) The cached variables. Constructor Detail Transformer public Transformer(GNode ast, SymbolTable st, String s, Runtime runt)(Code) Initialise this transformer. Parameters:   ast - the root of the typical ast Parameters:   s - the name of the checker to be generated Parameters:   runt - the runtime Method Detail augmentIfStatement public Node augmentIfStatement(Node n, String matchArg, GNode no)(Code) Augment a translated IfStatement of a pattern match to process scope Parameters:   n - The IfStatement node Parameters:   matchArg - The argument of the match expression Parameters:   no - The pattern match node The augmented IfStatement comment public static Node comment(Node node, String... text)(Code) Wrap the specified node in a documentation comment. Parameters:   node - The node. Parameters:   text - The comment's text. The commented node. createTypeRecordEquals public Node createTypeRecordEquals()(Code) Create equals method for the record "type". The equals method for the type record. createVariantEqualsMethod public Node createVariantEqualsMethod(String variantName)(Code) Create equals method for a constructor that is in equality definition. Parameters:   variantName - The name of the contructor. The equals method for the variant. getCheckerAST public GNode getCheckerAST()(Code) Return the ast of the generated program. The ast of the output type checker. getIndexList public static List<Integer> getIndexList(GNode node)(Code) Get a list of indice that corresspond to nodes needed to process scope Parameters:   node - The pattern node The list of indice getInstanceName public String getInstanceName(String name, List<String> types)(Code) Get the index of a primitive instance in the list Parameters:   name - The name of the instance Parameters:   types - The types of the instance The index of the instance, -1 if not exists getNodeName protected String getNodeName(Node n)(Code) Get node name from a pattern Parameters:   n - The pattern node getSupportAST public GNode getSupportAST()(Code) Return the ast of the generated support file. The ast of the output support file. getTypesAST public GNode getTypesAST()(Code) Return the ast of the generated types file. The ast of the output types file. makeCurry public Node makeCurry(String funcName, Node args, List<Node> paramTypes, Node retType, Object funcType)(Code) Process currying in function applications Parameters:   funcName - The name of the function Parameters:   args - The node that contains all arguments Parameters:   paramTypes - The list of parameter type nodes of the function Parameters:   retType - The return type node of the function Parameters:   funcType - The whole function type A node that is a new function processRawTypeDefinition public Node processRawTypeDefinition()(Code) Process raw_type definition to create "type" record. The node of generated code for "type" record definition. processScopeSpace public void processScopeSpace()(Code) Store nodes that need to process scopes. run public void run()(Code) Run this transformer. toIdentifier public static Node toIdentifier(String name)(Code) Create an identifier node with the specified name. Parameters:   name - The name. The corresponding identifier node. toIfStatement public Node toIfStatement(Node condition, Node action)(Code) Create a conditional statement node. Parameters:   condition - The condition node. Parameters:   action - The action statement or block. The conditional node. toLiteral public static Node toLiteral(String name, String literal)(Code) Convert the specified string to a literal node. Parameters:   name - The node name. Parameters:   literal - The literal as a string. The corresponding literal node. toModifiers public static Node toModifiers(String mod)(Code) Convert the specified string to a modifier in a list of modifiers. Parameters:   mod - The modifier The corresponding node. visitAdditiveExpression public Node visitAdditiveExpression(GNode n)(Code) Process an additive expression. Parameters:   n - The additive expression node. The java additive expression. visitAsPattern public Node visitAsPattern(GNode n)(Code) Generate an as pattern. Parameters:   n - The as pattern node. The java as pattern node. visitAssertClause public Node visitAssertClause(GNode n)(Code) Transform an assert clause into a function call to assert. Parameters:   n - The assert clause node. The function call java node. visitAttributeDefinition public void visitAttributeDefinition(GNode n)(Code) Process an attribute declaration. Parameters:   n - the attribute declaration node to process. visitBooleanLiteral public Node visitBooleanLiteral(GNode n)(Code) Process a boolean literal. Parameters:   n - the boolean literal node. visitBottom public Node visitBottom(GNode n)(Code) Process a bottom node. Parameters:   n - The bottom node. A null literal. visitBottomPattern public Node visitBottomPattern(GNode n)(Code) Process a bottom pattern. Parameters:   n - The bottom pattern node. A null literal. visitConcatenationExpression public Node visitConcatenationExpression(GNode n)(Code) Process a concatenation expression. Parameters:   n - The concatenation expression node. The java equivalent. visitConsExpression public Node visitConsExpression(GNode n)(Code) Process a cons expression. Parameters:   n - The cons expression node. The java equivalent. visitConsPattern public Node visitConsPattern(GNode n)(Code) Process a cons pattern. Parameters:   n - The cons pattern node. The java equivalent. visitEqualAttributeDefinition public void visitEqualAttributeDefinition(GNode n)(Code) Process an equal attribute definition. Parameters:   n - the equal attribute definition node to process. visitEqualityDefinition public void visitEqualityDefinition(GNode n)(Code) Process an equality definition. Parameters:   n - The equality definition node. visitEqualityExpression public Node visitEqualityExpression(GNode n)(Code) Process an equality expression. Parameters:   n - The equality expression node. The java equivalent. visitErrorClause public Node visitErrorClause(GNode n)(Code) Transform an error clause into a function call to either or warning. Parameters:   n - The expression node. The function call java node. visitFieldAssign public Node visitFieldAssign(GNode n)(Code) Transform a field assignment. Parameters:   n - The field assignment node. The java assignment expression. visitFieldExpression public Node visitFieldExpression(GNode n)(Code) Process a field expression. Parameters:   n - The field expression node. A java field access node (with null pointer checks inserted). visitFloatingLiteral public Node visitFloatingLiteral(GNode n)(Code) Process a float literal. Parameters:   n - the float literal node. The 'new Double' node. visitFunctionApplication public Node visitFunctionApplication(GNode n)(Code) Process a function application. Parameters:   n - The function application node. The java equivalent of the function application node. visitFunctionExpression public Node visitFunctionExpression(GNode n)(Code) Process a function expression Parameters:   n - The function expression node The translated node visitGuardExpression public Node visitGuardExpression(GNode n)(Code) Transform a guard expression. Parameters:   n - visitIfElseExpression public Node visitIfElseExpression(GNode n)(Code) Transform an if expression into a java conditional expression. Parameters:   n - The if expression node. The java conditional expression. visitIfExpression public Node visitIfExpression(GNode n)(Code) Transform an if expression into a java conditional expression. Parameters:   n - The if expression node. The java conditional expression. visitIntegerLiteral public Node visitIntegerLiteral(GNode n)(Code) Process an integer literal. Parameters:   n - the integer literal node. The BigInteger node. visitLetExpression public Node visitLetExpression(GNode n)(Code) Process a let expression. Parameters:   n - The let expression node. An anonymous Let instance visitListLiteral public Node visitListLiteral(GNode n)(Code) Process a List literal. Parameters:   n - The list literal node. The java equivalent. visitListPattern public Node visitListPattern(GNode n)(Code) Process a List pattern. Parameters:   n - The list pattern node. The java equivalent. visitLogicalAndExpression public Node visitLogicalAndExpression(GNode n)(Code) Process a logical and expression. Parameters:   n - The logical and expression node. The java expression. visitLogicalNegationExpression public Node visitLogicalNegationExpression(GNode n)(Code) Process a logical negation expression. Parameters:   n - The logical negation expression node. n The java equivalent. visitLogicalOrExpression public Node visitLogicalOrExpression(GNode n)(Code) Process a logical or expression. Parameters:   n - The logical or expression node. The java expression. visitLowerID public Node visitLowerID(GNode n)(Code) Process a LowerID node. The primary identifier corresponding to this node. visitMatchExpression public Node visitMatchExpression(GNode n)(Code) Process a match expression type. Parameters:   n - The match expression node. The java equivalent. visitModule public void visitModule(GNode n)(Code) Process the module. Parameters:   n - The module node. visitModuleDeclaration public void visitModuleDeclaration(GNode n)(Code) Process a module declaration. Parameters:   n - The ModuleDeclaration node. visitMultiplicativeExpression public Node visitMultiplicativeExpression(GNode n)(Code) Process a multiplicative expression. Parameters:   n - The multiplicative expression node. The java multiplicatiee expression. visitNameSpaceDefinition public void visitNameSpaceDefinition(GNode n)(Code) Process namespace definition. Parameters:   n - The name space definition node. visitPatternMatch public Node visitPatternMatch(GNode n)(Code) Process a pattern match. Parameters:   n - The pattern match node. The if statement representing this pattern match. visitPatternMatching public List<Node> visitPatternMatching(GNode n)(Code) Process a pattern matching expression. Parameters:   n - The pattern matching node. A list with the unified types of the left and right sidesof the pattern matching. visitPatternParameters public Node visitPatternParameters(GNode n)(Code) Process pattern parameters. Parameters:   n - The pattern parameters node. A new tuple expression. visitPatterns public Node visitPatterns(GNode n)(Code) Process a Patterns node. The patterns node corresponding to this node. visitPredicateExpression public Node visitPredicateExpression(GNode n)(Code) Transform a predicate expression. Parameters:   n - The predicate expression. The java equivalent. visitRecordDeclaration public void visitRecordDeclaration(GNode n)(Code) Process a record type definition. Parameters:   n - The type information. visitRecordExpression public Node visitRecordExpression(GNode n)(Code) Transform a record expression. Parameters:   n - The record expression node. A java equivalent. visitReduceExpression public Node visitReduceExpression(GNode n)(Code) Transform a reduce expression. Parameters:   n - The predicate expression. The java equivalent. visitRelationalExpression public Node visitRelationalExpression(GNode n)(Code) Process a relational expression. Parameters:   n - The relational expression node. The java relational expression visitRequireExpression public Node visitRequireExpression(GNode n)(Code) Process require expression. Parameters:   n - the require expression node The java code for the require expression. visitScopeDefinition public void visitScopeDefinition(GNode n)(Code) Process scope definition Parameters:   n - The scope definition node visitStringLiteral public GNode visitStringLiteral(GNode n)(Code) Process a string literal. Parameters:   n - The string literal node. n. visitTupleConstructor public Node visitTupleConstructor(GNode n)(Code) Create a new named tuple. Parameters:   n - The tuple constructor node. The java equivalent. visitTupleLiteral public Node visitTupleLiteral(GNode n)(Code) Process a tuple literal. Parameters:   n - The tuple literal node. The java equivalent. visitTuplePattern public Node visitTuplePattern(GNode n)(Code) Process a tuple pattern. Parameters:   n - The tuple pattern node. The java equivalent. visitTypeConstructorPattern public Node visitTypeConstructorPattern(GNode n)(Code) Process a type constructor pattern. Parameters:   n - The type constructor node. The java equivalent. visitTypeDefinition public void visitTypeDefinition(GNode n)(Code) Process a type definition. Parameters:   n - The type definition node. visitTypedPattern public Node visitTypedPattern(GNode n)(Code) Transform a typed pattern. Parameters:   n - The typed pattern node. The java code for the typed pattern. visitValueDefinition public Node visitValueDefinition(GNode n)(Code) Process a value definition. Parameters:   n - The value binding node. The java code for the funciton visitVariable public void visitVariable(GNode n)(Code) Process a variable. Parameters:   n - The variable node. visitVariantDeclaration public void visitVariantDeclaration(GNode n)(Code) Process a variant type definition. Parameters:   n - The variant type node. visitWhenPattern public Node visitWhenPattern(GNode n)(Code) Generate a when pattern. Parameters:   n - The when pattern node. An if statement represeing the when expression. visitWildCard public Node visitWildCard(GNode n)(Code) Transform a wildcard. Parameters:   n - The wildcard node. A wildcard primary identifier. Methods inherited from xtc.tree.Visitor public Object dispatch(Node node)(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)