Package wyrl.core

Examples of wyrl.core.Type$Bag

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
1740
1741
1742
1743
1744
1745
1746
1747
1748
1749
1750
      Environment environment, SpecFile file) {
    Integer operand = environment.get(code.var);
    if (operand != null) {
      return operand;
    } else {
      Type type = code.attribute(Attribute.Type.class).type;
      int target = environment.allocate(type);
      myOut(level, type2JavaType(type) + " r" + target + " = " + code.var
          + ";");
      return target;
    }
View Full Code Here
1750
1751
1752
1753
1754
1755
1756
1757
1758
1759
1760
    }
  }

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

    // first, translate all subexpressions and make sure they are
    // references.
    int src = translate(level, code.src, environment, file);
    src = coerceFromValue(level, code.src, src, environment);
View Full Code Here
1774
1775
1776
1777
1778
1779
1780
1781
1782
1783
1784
    return target;
  }

  public int translate(int level, Expr.TermAccess 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
TOP

Related Classes of wyrl.core.Type$Bag

  • org.apache.commons.collections15.bag.AbstractMapBag
  • org.apache.commons.collections15.bag.AbstractTestBag
  • org.apache.commons.collections15.bag.TestPredicatedBag
  • org.apache.commons.collections15.bag.TestTransformedBag
  • org.apache.commons.collections15.bag.TestTransformedSortedBag
  • org.apache.commons.collections15.bag.TestTreeBag
  • org.apache.commons.collections15.bag.TestTypedBag
  • org.rascalmpl.interpreter.asserts.NotYetImplemented
  • org.rascalmpl.interpreter.staticErrors.NonWellformedType
  • tools
    • 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.