Package wyrl.core

Examples of wyrl.core.Type$Atom

808
809
810
811
812
813
814
815
816
817
818
819
820
  protected boolean willSkip(Pattern pattern, Type declared) {
    declared = stripNominalsAndRefs(declared);

    if (pattern instanceof Pattern.Leaf) {
      Pattern.Leaf leaf = (Pattern.Leaf) pattern;
      Type element = leaf.type().element();

      if (element == Type.T_ANY() || element.isSubtype(declared)) {
        // In this very special case, we don't need to do anything since
        // we're guarantted to have a match based on the context.
        return true;
      }
    } else if (pattern instanceof Pattern.Term
View Full Code Here
1212
1213
1214
1215
1216
1217
1218
1219
1220
1221
1222
1223
1224
1225
    myOut(1,
        "// =========================================================================");
    myOut();

    for (int i = 0; i != typeRegister.size(); ++i) {
      Type t = typeRegister.get(i);
      JavaIdentifierOutputStream jout = new JavaIdentifierOutputStream();
      BinaryOutputStream bout = new BinaryOutputStream(jout);
      bout.write(t.toBytes());
      bout.flush();
      bout.close();
      // FIXME: strip out nominal types (and any other unneeded types).
      myOut(1, "// " + t);
      myOut(1, "private static Type type" + i + " = Runtime.Type(\""
View Full Code Here
1411
1412
1413
1414
1415
1416
1417
1418
1419
1420
1421
    }
  }

  public int translate(int level, Expr.Cast code, Environment environment,
      SpecFile file) {
    Type type = code.attribute(Attribute.Type.class).type;

    // first translate src expression, and coerce to a value
    int src = translate(level, code.src, environment, file);
    src = coerceFromRef(level, code.src, src, environment);
View Full Code Here
1428
1429
1430
1431
1432
1433
1434
1435
1436
1437
1438
  }

  public int translate(int level, Expr.Constant code,
      Environment environment, SpecFile file) {
    Type type = code.attribute(Attribute.Type.class).type;
    Object v = code.value;
    String rhs;

    if (v instanceof Boolean) {
      rhs = v.toString();
View Full Code Here
1470
1471
1472
1473
1474
1475
1476
1477
1478
1479
1480
    return target;
  }

  public int translate(int level, Expr.UnOp code, Environment environment,
      SpecFile file) {
    Type type = code.attribute(Attribute.Type.class).type;
    int rhs = translate(level, code.mhs, environment, file);
    rhs = coerceFromRef(level, code.mhs, rhs, environment);
    String body;

    switch (code.op) {
View Full Code Here
1504
1505
1506
1507
1508
1509
1510
1511
1512
1513
1514
1515
1516
1517
1518
1519
1520
1521
1522
1523
1524
    return target;
  }

  public int translate(int level, Expr.BinOp code, Environment environment,
      SpecFile file) {
    Type type = code.attribute(Attribute.Type.class).type;
    Type lhs_t = code.lhs.attribute(Attribute.Type.class).type;
    Type rhs_t = code.rhs.attribute(Attribute.Type.class).type;
    int lhs = translate(level, code.lhs, environment, file);

    String body;

    if (code.op == Expr.BOp.IS && code.rhs instanceof Expr.Constant) {
      // special case for runtime type tests
      Expr.Constant c = (Expr.Constant) code.rhs;
      Type test = (Type) c.value;
      int typeIndex = register(test);
      body = "Runtime.accepts(type" + typeIndex + ", automaton, r" + lhs
          + ", SCHEMA)";
    } else if (code.op == Expr.BOp.AND) {
      // special case to ensure short-circuiting of AND.
View Full Code Here
1645
1646
1647
1648
1649
1650
1651
1652
1653
1654
1655
    return target;
  }

  public int translate(int level, Expr.NaryOp code, Environment environment,
      SpecFile file) {
    Type type = code.attribute(Attribute.Type.class).type;
    String body = "new Automaton.";

    if (code.op == Expr.NOp.LISTGEN) {
      body += "List(";
    } else if (code.op == Expr.NOp.BAGGEN) {
View Full Code Here
1676
1677
1678
1679
1680
1681
1682
1683
1684
1685
1686
    return target;
  }

  public int translate(int level, Expr.ListAccess code,
      Environment environment, SpecFile file) {
    Type type = code.attribute(Attribute.Type.class).type;
    int src = translate(level, code.src, environment, file);
    int idx = translate(level, code.index, environment, file);
    src = coerceFromRef(level, code.src, src, environment);
    idx = coerceFromRef(level, code.index, idx, environment);
View Full Code Here
1693
1694
1695
1696
1697
1698
1699
1700
1701
1702
1703
    return target;
  }

  public int translate(int level, Expr.ListUpdate code,
      Environment environment, SpecFile file) {
    Type type = code.attribute(Attribute.Type.class).type;
    int src = translate(level, code.src, environment, file);
    int idx = translate(level, code.index, environment, file);
    int value = translate(level, code.value, environment, file);

    src = coerceFromRef(level, code.src, src, environment);
View Full Code Here
1713
1714
1715
1716
1717
1718
1719
1720
1721
1722
1723
    return target;
  }

  public int translate(int level, Expr.Constructor code,
      Environment environment, SpecFile file) {
    Type type = code.attribute(Attribute.Type.class).type;
    String body;

    if (code.argument == null) {
      body = code.name;
    } else {
View Full Code Here
TOP

Related Classes of wyrl.core.Type$Atom

  • org.jdesktop.wonderland.modules.xremwin.client.wm.X11WindowManager
  • org.jdesktop.wonderland.modules.xremwin.client.wm.X11WindowManagerHints
  • wyautl.io.BinaryAutomataWriter
  • wyfs.io.BinaryOutputStream
  • wyrl.io.JavaFileWriter
  • java.nio.ByteBuffer
  • java.io.ByteArrayOutputStream
  • java.awt.image.IndexColorModel
  • java.awt.Image
  • javax.ws.rs.core.MediaType
    • 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.