Examples of wyil.lang.Type$Null

wyil.lang.Type
The null type is a special type which should be used to show the absence of something. It is distinct from void, since variables can hold the special null value (where as there is no special "void" value). With all of the problems surrounding null and NullPointerExceptions in languages like Java and C, it may seem that this type should be avoided. However, it remains a very useful abstraction to have around and, in Whiley, it is treated in a completely safe manner (unlike e.g. Java). @author David J. Pearce

    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

      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

      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


    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


    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

      //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

    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

  @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

    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

0 1 2 3 4 5

TOP

Related Classes of wyil.lang.Type$Null

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

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.