Packages

  • package root
    Definition Classes
    root
  • package org
    Definition Classes
    root
  • package opalj

    OPAL is a Scala-based framework for the static analysis, manipulation and creation of Java bytecode.

    OPAL is a Scala-based framework for the static analysis, manipulation and creation of Java bytecode. OPAL is designed with performance, scalability and adaptability in mind.

    Its main components are:

    • a library (Common) which provides generally useful data-structures and algorithms for static analyses.
    • a framework for implementing lattice based static analyses (Static Analysis Infrastructure)
    • a framework for parsing Java bytecode (Bytecode Infrastructure) that can be used to create arbitrary representations.
    • a library to create a one-to-one in-memory representation of Java bytecode (Bytecode Disassembler).
    • a library to create a representation of Java bytecode that facilitates writing simple static analyses (Bytecode Representation - org.opalj.br).
    • a scalable, easily customizable framework for the abstract interpretation of Java bytecode (Abstract Interpretation Framework - org.opalj.ai).
    • a library to extract dependencies between code elements and to facilitate checking architecture definitions.
    • a library for the lightweight manipulation and creation of Java bytecode (Bytecode Assembler).

    General Design Decisions

    Thread Safety

    Unless explicitly noted, OPAL is thread safe. I.e., the classes defined by OPAL can be considered to be thread safe unless otherwise stated. (For example, it is possible to read and process class files concurrently without explicit synchronization on the client side.)

    No null Values

    Unless explicitly noted, OPAL does not null values I.e., fields that are accessible will never contain null values and methods will never return null. If a method accepts null as a value for a parameter or returns a null value it is always explicitly documented. In general, the behavior of methods that are passed null values is undefined unless explicitly documented.

    No Typecasts for Collections

    For efficiency reasons, OPAL sometimes uses mutable data-structures internally. After construction time, these data-structures are generally represented using their generic interfaces (e.g., scala.collection.{Set,Map}). However, a downcast (e.g., to add/remove elements) is always forbidden as it would effectively prevent thread-safety.

    Assertions

    OPAL makes heavy use of Scala's Assertion Facility to facilitate writing correct code. Hence, for production builds (after thorough testing(!)) it is highly recommend to build OPAL again using -Xdisable-assertions.

    Definition Classes
    org
  • package constraints

    Defines helper values and methods related to modeling constraints.

    Defines helper values and methods related to modeling constraints.

    Definition Classes
    opalj
  • ArrayConstraint
  • ConstraintByType
  • IncompatibleNumericConstraints
  • NonNullValue
  • NullValue
  • NumericConstraints
  • NumericRange
  • NumericSet
  • NumericValueConstraint
  • ObjectConstraint
  • ReferenceValueConstraint
  • ValueConstraint
o

org.opalj.constraints

NumericConstraints

object NumericConstraints extends Enumeration

Enumeration of all possible relations/constraints between two arbitrary numeric values.

Linear Supertypes
Enumeration, Serializable, Serializable, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. NumericConstraints
  2. Enumeration
  3. Serializable
  4. Serializable
  5. AnyRef
  6. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. class Val extends Value with Serializable
    Attributes
    protected
    Definition Classes
    Enumeration
    Annotations
    @SerialVersionUID()
  2. abstract class Value extends Ordered[Value] with Serializable
    Definition Classes
    Enumeration
    Annotations
    @SerialVersionUID()
  3. class ValueSet extends AbstractSet[Value] with SortedSet[Value] with SortedSetLike[Value, ValueSet] with Serializable
    Definition Classes
    Enumeration

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final val !=: Value
  3. final def ##(): Int
    Definition Classes
    AnyRef → Any
  4. final val <: Value
  5. final val <=: Value
  6. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  7. final val ==: Value
  8. final val >: Value
  9. final val >=: Value
  10. final val EQ: Int(5)
  11. final val GE: Int(4)
  12. final val GT: Int(3)
  13. final val LE: Int(2)
  14. final val LT: Int(1)
  15. final val NE: Int(6)
  16. final def Value(i: Int, name: String): Value
    Attributes
    protected
    Definition Classes
    Enumeration
  17. final def Value(name: String): Value
    Attributes
    protected
    Definition Classes
    Enumeration
  18. final def Value(i: Int): Value
    Attributes
    protected
    Definition Classes
    Enumeration
  19. final def Value: Value
    Attributes
    protected
    Definition Classes
    Enumeration
  20. final def apply(x: Int): Value
    Definition Classes
    Enumeration
  21. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  22. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )
  23. def combine(c1: Value, c2: Value): Value

    Calculates the constraint that is in effect if both constraints need to be satisfied at the same time.

    Calculates the constraint that is in effect if both constraints need to be satisfied at the same time. E.g., the result of combining "less than" with "equal or less than" is "less than". However, the combination of "less than" with "greater than" would throw an exception.

    returns

    The combined constraint.

    Annotations
    @throws( ... )
    Note

    This a narrowing operation.

  24. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  25. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  26. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  27. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  28. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  29. def inverse(relation: Value): Value

    Returns the relation when we swap the operands.

    Returns the relation when we swap the operands.

    E.g., inverse(>) = <; x < y === y > x.

  30. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  31. def join(c1: Value, c2: Value): Option[Value]

    Joins the given constraints.

    Joins the given constraints. I.e., returns the constraint that still has to hold if either c1 or c2 holds. E.g., the result of joining "<" with "==" with is "<=".

    Note

    This is a widening operation.

  32. final def maxId: Int
    Definition Classes
    Enumeration
  33. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  34. var nextId: Int
    Attributes
    protected
    Definition Classes
    Enumeration
  35. var nextName: Iterator[String]
    Attributes
    protected
    Definition Classes
    Enumeration
  36. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  37. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  38. def readResolve(): AnyRef
    Attributes
    protected
    Definition Classes
    Enumeration
  39. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  40. def toString(): String
    Definition Classes
    Enumeration → AnyRef → Any
  41. def values: ValueSet
    Definition Classes
    Enumeration
  42. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  43. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  44. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )
  45. final def withName(s: String): Value
    Definition Classes
    Enumeration

Inherited from Enumeration

Inherited from Serializable

Inherited from Serializable

Inherited from AnyRef

Inherited from Any

Ungrouped