Examples of wyil.lang.Type$EffectiveSet

wyil.lang.Type
A type which is either a set, or a union of sets. An effective set gives access to an effective element type, which is the union of possible element types.
```
 {int} | {real} 
```
Here, the effective element type is int|real. @return

    }
  }


  public Nominal.EffectiveTuple expandAsEffectiveTuple(Nominal lhs)
      throws IOException, ResolveError {
    Type raw = lhs.raw();
    if (raw instanceof Type.EffectiveTuple) {
      Type nominal = expandOneLevel(lhs.nominal());
      if (!(nominal instanceof Type.EffectiveTuple)) {
        nominal = raw; // discard nominal information
      }
      return (Nominal.EffectiveTuple) Nominal.construct(nominal, raw);
    } else {

View Full Code Here

  }


  public Nominal.Reference expandAsReference(Nominal lhs) throws IOException, ResolveError {
    Type.Reference raw = Type.effectiveReference(lhs.raw());
    if (raw != null) {
      Type nominal = expandOneLevel(lhs.nominal());
      if (!(nominal instanceof Type.Reference)) {
        nominal = raw; // discard nominal information
      }
      return (Nominal.Reference) Nominal.construct(nominal, raw);
    } else {

View Full Code Here


  public Nominal.FunctionOrMethod expandAsFunctionOrMethod(Nominal lhs)
      throws IOException, ResolveError {
    Type.FunctionOrMethod raw = Type.effectiveFunctionOrMethod(lhs.raw());
    if (raw != null) {
      Type nominal = expandOneLevel(lhs.nominal());
      if (!(nominal instanceof Type.FunctionOrMethod)) {
        nominal = raw; // discard nominal information
      }
      return (Nominal.FunctionOrMethod) Nominal.construct(nominal, raw);
    } else {

View Full Code Here

      Type.Nominal nt = (Type.Nominal) type;
      NameID nid = nt.name();
      Path.ID mid = nid.module();


      WhileyFile wf = builder.getSourceFile(mid);
      Type r = null;


      if (wf != null) {
        WhileyFile.Declaration decl = wf.declaration(nid.name());
        if (decl instanceof WhileyFile.Type) {
          WhileyFile.Type td = (WhileyFile.Type) decl;

View Full Code Here

  @Test public void test_2498() { checkNotSubtype("[int]|int","any"); }
  @Test public void test_2499() { checkNotSubtype("[int]|int","[null]|null"); }
  @Test public void test_2500() { checkIsSubtype("[int]|int","[int]|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

    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

  @Test public void test_5774() { checkNotSubtype("{int f2}|int","{null f2}|null"); }
  @Test public void test_5775() { checkNotSubtype("{int f2}|int","{int f1}|int"); }
  @Test public void test_5776() { 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

    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

  public Type parse() {
    return parse(new HashSet<String>());
  }


  public Type parse(HashSet<String> typeVariables) {
    Type term = parseFunctionTerm(typeVariables);
    skipWhiteSpace();
    while (index < str.length()
        && (str.charAt(index) == '|')) {
      // union type
      match("|");

View Full Code Here

    }
    return term;
  }


  public Type parseFunctionTerm(HashSet<String> typeVariables) {
    Type t = parseNotTerm(typeVariables);
    if(index >= str.length()) { return t; }
    char lookahead = str.charAt(index);
    if(lookahead == '(') {
      // this is a tuple, not a bracketed type.
      match("(");

View Full Code Here

0 1 2 3 4 5

TOP

Related Classes of wyil.lang.Type$EffectiveSet

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.