Package org.jakstab.rtl

Examples of org.jakstab.rtl.TypeInferenceException

37
38
39
40
41
42
43
44
45
46
  public RTLExpression inferBitWidth(Architecture arch, int expectedBitWidth)
      throws TypeInferenceException {

    if (getBitWidth() != expectedBitWidth) {
      assert getBitWidth() > 0 : "Bitwidth <= 0!";
      throw new TypeInferenceException("Expected " + this + " to be " + expectedBitWidth + " bit, got " + getBitWidth());
    } else {
      return this;
    }
  }
View Full Code Here
140
141
142
143
144
145
146
147
148
   */
  @Override
  public RTLExpression inferBitWidth(Architecture arch, int expectedBitWidth)
      throws TypeInferenceException {
    if (bitWidth != expectedBitWidth) {
      throw new TypeInferenceException("Expected " + this + " to be " + expectedBitWidth + " bits, but is " + getBitWidth());
    }
    return this;
  }
View Full Code Here
TOP

Related Classes of org.jakstab.rtl.TypeInferenceException

  • org.jakstab.rtl.expressions.AbstractRTLExpression
  • org.jakstab.rtl.expressions.RTLVariable
    • 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.