Package wyil.lang

Examples of wyil.lang.Type

1167
1168
1169
1170
1171
1172
1173
1174
1175
1176
1177
    public void writeCodeLambda(Code codIn){
      int targ;
      int cnt;
      int foo;
      int tok;
      Type typ;
      String nam;
      String lin;
      String dtyp;
      String sig = "++";    // ***** must change this

View Full Code Here
1290
1291
1292
1293
1294
1295
1296
1297
1298
1299
1300
      return;
    }

    public void writeCodeTryEnd(Code codIn){
      String nam;
      Type typ;
      String dtyp;
      Integer reg;
      int opr;
      ArrayList<Pair<Type, String>> dsp;
      int idx = this.tcStack.size()-1;
View Full Code Here
1531
1532
1533
1534
1535
1536
1537
1538
1539
1540
1541
      return;
    }

    public void writeCodeIfIs(Code codIn){
      int lhs;
      Type rhs;
      String target;
      String dtyp;

      //bodyAddLineNL(  "// HELP needed for IfIs"  );
      Codes.IfIs cod = (Codes.IfIs) codIn;
View Full Code Here
1749
1750
1751
1752
1753
1754
1755
1756
1757
1758
1759
    public void writeCodeUpdate(Code codIn){
      String tmp;
      int targ, rhs, ofs;
      int cnt;
      Type typ;
      String lin;
      String backFix;
      ArrayList<String> flds;
      Codes.LVal lv;
      int idx;
View Full Code Here
2222
2223
2224
2225
2226
2227
2228
2229
2230
2231
2232
    public void writeCodeConvert(Code codIn){
      String tmp;
      String dtyp;
      int tgt, opr;
      Type ntyp, otyp;

      Codes.Convert cod = (Codes.Convert) codIn;
      tgt = cod.target();
      opr = cod.operand(0);
      ntyp = cod.result;
View Full Code Here
2334
2335
2336
2337
2338
2339
2340
2341
2342
2343
2344
      //final Integer intMax = (Integer) 2147483647;
      final BigInteger bigIntMax = new BigInteger("2147483647");
      final Constant.Integer wyIntMax = Constant.V_INTEGER(bigIntMax);
      String ans = "";
      String tmp;
      Type typ;
      String rval;
      String assn = null;
      int alt;
      int cnt;
      int tok;
View Full Code Here
518
519
520
521
522
523
524
525
526
527
528
    String lin;
    String ans = "";

    Code.Block strain = typDe.invariant();
    List<Modifier> mods = typDe.modifiers();
    Type typ = typDe.type();
    List<Attribute> atts = typDe.attributes();

    lin = "#" + idx;
    lin += "(" + atts.size() + ":" + mods.size() + ")";
    lin += " is named " + typDe.name();
View Full Code Here
3751
3752
3753
3754
3755
3756
3757
3758
3759
  @Test public void test_3719() { checkIsSubtype("null","null"); }
  @Test public void test_3720() { checkIsSubtype("null","null"); }
  @Test public void test_3721() { checkIsSubtype("null","null"); }

  private void checkIsSubtype(String from, String to) {
    Type ft = Type.fromString(from);
    Type tt = Type.fromString(to);
    assertTrue(Type.isSubtype(ft,tt));
  }
View Full Code Here
3756
3757
3758
3759
3760
3761
3762
3763
3764
    Type ft = Type.fromString(from);
    Type tt = Type.fromString(to);
    assertTrue(Type.isSubtype(ft,tt));
  }
  private void checkNotSubtype(String from, String to) {
    Type ft = Type.fromString(from);
    Type tt = Type.fromString(to);
    assertFalse(Type.isSubtype(ft,tt));
  }
View Full Code Here
TOP

Related Classes of wyil.lang.Type

  • wyautl_old.lang.Automaton.State
  • wyc.builder.DecisionTree
  • wyc.builder.FlowTypeChecker
  • wyc.lang.Nominal
  • wyc.lang.Nominal$Function
  • wyc.lang.Nominal$List
  • wyc.lang.Nominal$Method
  • wyc.lang.Nominal$Record
  • wyc.lang.Nominal$Tuple
  • wyc.lang.Nominal$UnionOfRecords
    • 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.