Package org.eclipse.imp.pdb.facts.exceptions

Examples of org.eclipse.imp.pdb.facts.exceptions.IllegalOperationException

70
71
72
73
74
75
76
    throw new IllegalOperationException("subtract over buffered relation", getType());
  }

  @Override
  public ISet delete(IValue elem) {
    throw new IllegalOperationException("delete over buffered relation", getType());
  }
View Full Code Here
75
76
77
78
79
80
81
    throw new IllegalOperationException("delete over buffered relation", getType());
  }

  @Override
  public ISet product(ISet set) {
    throw new IllegalOperationException("product over buffered relation", getType());
  }
View Full Code Here
80
81
82
83
84
85
86
    throw new IllegalOperationException("product over buffered relation", getType());
  }

  @Override
  public boolean isSubsetOf(ISet other) {
    throw new IllegalOperationException("subset over buffered relation", getType());
  }
View Full Code Here
119
120
121
122
123
124
125
126
127
    return false;
  }

  @Override
  public ISetRelation<ISet> asRelation() {
    throw new IllegalOperationException(
        "Relational operations are not supported on lazy representation.",
        getType());
  }
View Full Code Here
131
132
133
134
135
136
137
138
    return false;
  }

  @Override
  public IAnnotatable<? extends IValue> asAnnotatable() {
    throw new IllegalOperationException(
        "Cannot be viewed as annotatable.", getType());
  }
View Full Code Here
142
143
144
145
146
147
148
149
     return false;
   }
  
   @Override
   public IWithKeywordParameters<? extends IValue> asWithKeywordParameters() {
     throw new IllegalOperationException(
         "Cannot be viewed as with keyword parameters", getType());
   }
View Full Code Here
176
177
178
179
180
181
182
183
    return false;
  }
 
  @Override
  public IWithKeywordParameters<? extends IValue> asWithKeywordParameters() {
    throw new IllegalOperationException(
        "Cannot be viewed as with keyword parameters", getType());
  }
View Full Code Here
847
848
849
850
851
852
853
854
    } else if (base.isAbstractData()) {
      return tf.tupleType(tf.stringType(), tf.valueType());
    } else if (base.isTop() || base.isRational()) {
      return base;
    } else {
      throw new IllegalOperationException("getElementType", expected);
    }
  }
View Full Code Here
233
234
235
236
237
238
239
240
241
242
243
            newAlternatives.add((FunctionType) RTF.functionType(gtype.getReturnType(), ftype.getArgumentTypes(), ftype.getKeywordParameterTypes()));
          }
        }
      }
    } else {
      throw new IllegalOperationException("compose", this, right);
    }
    if(!newAlternatives.isEmpty())
      return RTF.overloadedFunctionType(newAlternatives);
    return TF.voidType();
  }
View Full Code Here
314
315
316
317
318
319
320
321
322
323
324
        if(TF.tupleType(ftype.getReturnType()).isSubtypeOf(this.argumentTypes)) {
          newAlternatives.add((FunctionType) RTF.functionType(this.returnType, ftype.getArgumentTypes(), ftype.keywordParameters));
        }
      }
    } else {
      throw new IllegalOperationException("compose", this, right);
    }
    if(!newAlternatives.isEmpty())
      return RTF.overloadedFunctionType(newAlternatives);
    return TF.voidType();
  }
View Full Code Here
TOP

Related Classes of org.eclipse.imp.pdb.facts.exceptions.IllegalOperationException

  • org.rascalmpl.interpreter.matching.ConcreteApplicationPattern$TreeAsTuple
  • org.rascalmpl.interpreter.matching.NodePattern$TreeAsNode
  • org.rascalmpl.interpreter.result.AbstractFunction
  • org.rascalmpl.interpreter.result.ComposedFunctionResult
  • org.rascalmpl.interpreter.result.OverloadedFunction
  • org.rascalmpl.interpreter.result.ResourceResult
  • org.rascalmpl.interpreter.types.FunctionType
  • org.rascalmpl.interpreter.types.OverloadedFunctionType
  • org.rascalmpl.library.experiments.Compiler.RVM.Interpreter.FunctionInstance
  • org.rascalmpl.library.experiments.Compiler.RVM.Interpreter.OverloadedFunctionInstance
    • 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.