Package wyvern.tools.typedAST.interfaces

Examples of wyvern.tools.typedAST.interfaces.TypedAST

546
547
548
549
550
551
552
553
554
      "  A => 15                                   \n" +  //Error, this will catch everything
      "  B => 15                                   \n" + //So anything after is pointless
      "  C => 25                                   \n" +
      "  default => 35                             \n";
   
    TypedAST ast = getAST(input);
   
    typeCheckfailWith(ast, ErrorMessage.SUPERTAG_PRECEEDS_SUBTAG);
  }
View Full Code Here
578
579
580
581
582
583
584
585
586
      "  C => 15                                   \n" + 
      "  B => 15                                   \n" + //Error, this will catch the D just below
      "  D => 25                                   \n" +
      "  A => 25                                   \n";
   
    TypedAST ast = getAST(input);
   
    typeCheckfailWith(ast, ErrorMessage.SUPERTAG_PRECEEDS_SUBTAG);
  }
View Full Code Here
609
610
611
612
613
614
615
616
617
618
      "match(d):                                    \n" +
      "  B => 15                                   \n" +    //matches B since D is a subtag of B
      "  C => 25                                   \n" +
      "  default => 35                             \n";
   
    TypedAST ast = getAST(input);
   
    // Should be 15 because D is a subclass of B and will match that
    evaluateExpecting(ast, 15);
  }
View Full Code Here
657
658
659
660
661
662
663
664
665
        "  NumJSON => 10                             \n" +
        "  ObjJSON => 15                             \n" +
        "  StrJSON => 20                             \n" +
        "  default => 30                             \n";
     
      TypedAST ast = getAST(input);
     
      evaluateExpecting(ast, 25);
  }
View Full Code Here
29
30
31
32
33
34
35
36
37
   * Test test ensures the dynamic tag example works properly when stripped of actual
   * dynamic tag features. This is to make sure non-dynamic tag code is working.
   */
  public void nonDynamicTest() throws CopperParserException, IOException {
    String program = readFile(PATH + "NonDynamicDynamicTag.wyv");
    TypedAST ast = TagTests.getAST(program);
   
    TagTests.evaluateExpecting(ast, 2);
  }
View Full Code Here
49
50
51
52
53
54
55
56
        "                                   \n" +
        "match(x):                          \n" +
        "  X => 15                         \n" +
        "  default => 30                   \n";
       
    TypedAST ast = TagTests.getAST(input);
    TagTests.evaluateExpecting(ast, 15);
  }
View Full Code Here
72
73
74
75
76
77
78
79
        "match(x):                          \n" +
        "  Y => 20                         \n" +
        "  X => 15                         \n" +
        "  default => 30                   \n";
       
    TypedAST ast = TagTests.getAST(input);
    TagTests.evaluateExpecting(ast, 20);
  }
View Full Code Here
98
99
100
101
102
103
104
105
        "match(x):                          \n" +
        "  Y => 20                         \n" +
        "  Z => 15                         \n" +
        "  X => 30                         \n";
       
    TypedAST ast = TagTests.getAST(input);
    TagTests.evaluateExpecting(ast, 30);
  }
View Full Code Here
124
125
126
127
128
129
130
131
        "match(x):                          \n" +
        "  Y => 20                         \n" +
        "  Z => 15                         \n" +
        "  X => 30                         \n";
       
    TypedAST ast = TagTests.getAST(input);
    TagTests.evaluateExpecting(ast, 20);
  }
View Full Code Here
132
133
134
135
136
137
138
139
140
 
  @Test
  public void jsonTest() throws CopperParserException, IOException {
    String input = readFile(PATH + "TaggedTypeTest.wyv");
     
    TypedAST ast = TagTests.getAST(input);
     
    TagTests.evaluateExpecting(ast, 25);
  }
View Full Code Here
TOP

Related Classes of wyvern.tools.typedAST.interfaces.TypedAST

  • wyvern.stdlib.Compiler
  • wyvern.targets.Common.wyvernIL.IL.tests.TestIL
  • wyvern.targets.Common.wyvernIL.interpreter.tests.TestUtil
  • wyvern.targets.Common.wyvernIL.transformers.ExnFromAST
  • wyvern.targets.Common.wyvernIL.transformers.TLFromAST
  • wyvern.tools.Interpreter
  • wyvern.tools.parsing.parselang.CopperTSL
  • wyvern.tools.parsing.quotelang.QuoteParser
  • wyvern.tools.parsing.quotelang.QuoteParser$ToastExecutor
  • wyvern.tools.tests.CopperTests
    • Copyright © 2018 www.massapicom. All rights reserved.
    All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.