Package wyil.lang

Examples of wyil.lang.Type

3751
3752
3753
3754
3755
3756
3757
3758
3759
  @Test public void test_3719() { checkNotSubtype("{int f2}|int","{null f2}|null"); }
  @Test public void test_3720() { checkNotSubtype("{int f2}|int","{int f1}|int"); }
  @Test public void test_3721() { checkIsSubtype("{int f2}|int","{int f2}|int"); }

  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
511
512
513
514
515
516
517
518
519
520
521
    public ArrayList<Nominal> elements() {
      ArrayList<Nominal> r = new ArrayList<Nominal>();
      java.util.List<Type> rawElements = raw.elements();
      java.util.List<Type> nominalElements = nominal.elements();
      for(int i=0;i!=rawElements.size();++i) {
        Type nominalElement = nominalElements.get(i);
        Type rawElement = rawElements.get(i);
        r.add(construct(nominalElement,rawElement));
      }
      return r;
    }
View Full Code Here
569
570
571
572
573
574
575
576
577
578
579
    public HashMap<String,Nominal> fields() {
      HashMap<String,Nominal> r = new HashMap<String,Nominal>();
      HashMap<String,Type> nominalFields = nominal.fields();
      for(java.util.Map.Entry<String, Type> e : raw.fields().entrySet()) {
        String key = e.getKey();
        Type rawField = e.getValue();
        Type nominalField = nominalFields.get(key);
        r.put(e.getKey(), Nominal.construct(nominalField,rawField));
      }
      return r;
    }
View Full Code Here
577
578
579
580
581
582
583
584
585
586
587
      }
      return r;
    }

    public Nominal field(String field) {
      Type rawField = raw.fields().get(field);
      if(rawField == null) {
        return null;
      } else {
        return construct(nominal.fields().get(field),rawField);
      }
View Full Code Here
836
837
838
839
840
841
842
843
844
845
846
    public HashMap<String,Nominal> fields() {
      HashMap<String,Nominal> r = new HashMap<String,Nominal>();
      HashMap<String,Type> nominalFields = nominal.fields();
      for(java.util.Map.Entry<String, Type> e : raw.fields().entrySet()) {
        String key = e.getKey();
        Type rawField = e.getValue();
        Type nominalField = nominalFields.get(key);
        r.put(e.getKey(), Nominal.construct(nominalField,rawField));
      }
      return r;
    }
View Full Code Here
844
845
846
847
848
849
850
851
852
853
854
      }
      return r;
    }

    public Nominal field(String field) {
      Type rawField = raw.fields().get(field);
      if(rawField == null) {
        return null;
      } else {
        return construct(nominal.fields().get(field),rawField);
      }
View Full Code Here
949
950
951
952
953
954
955
956
957
958
959
    public java.util.List<Nominal> params() {
      ArrayList<Nominal> r = new ArrayList<Nominal>();
      java.util.List<Type> rawElements = raw.params();
      java.util.List<Type> nominalElements = nominal.params();
      for(int i=0;i!=rawElements.size();++i) {
        Type nominalElement = nominalElements.get(i);
        Type rawElement = rawElements.get(i);
        r.add(construct(nominalElement,rawElement));
      }
      return r;
    }
View Full Code Here
995
996
997
998
999
1000
1001
1002
1003
1004
1005
    public java.util.List<Nominal> params() {
      ArrayList<Nominal> r = new ArrayList<Nominal>();
      java.util.List<Type> rawElements = raw.params();
      java.util.List<Type> nominalElements = nominal.params();
      for(int i=0;i!=rawElements.size();++i) {
        Type nominalElement = nominalElements.get(i);
        Type rawElement = rawElements.get(i);
        r.add(construct(nominalElement,rawElement));
      }
      return r;
    }
View Full Code Here
162
163
164
165
166
167
168
169
170
171
172
173
174
    // No child subsumes type.  So construct its child set.
    ArrayList<Node> nchildren = new ArrayList<Node>();
    for(int i=0;i!=children.size();) {
      Node n = children.get(i);
      Type nType = n.type;
      if(Type.isSubtype(type,nType)) {
        if(nType.equals(type)) {
          if(n.constraint != null) {
            String nextLabel = CodeUtils.freshLabel();
            Code.Block blk = chainBlock(nextLabel, n.constraint);
            blk.add(Codes.Label(nextLabel));
            blk.addAll(constraint);
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.