```
public class Runtime
extends Object
```
If a class has been instrumented with the instrumenter, invariant violations are added to the violations list.

Fields
Modifier and Type	Field	Description
`static List<Throwable>`	`internalInvariantEvaluationErrors`	A list of throwables seen when attempting to evaluate properties.
`static long`	`numEvaluations`
`static long`	`numExceptionalPptExits`
`static long`	`numNormalPptExits`
`static long`	`numPptEntries`

All Methods Static Methods Concrete Methods
Modifier and Type	Method	Description
`static List<Violation>`	`getViolations()`	Returns the list of violations.
`static boolean`	`isPowerOfTwo(int x)`
`static boolean`	`isWithinPointerRange(int value)`
`static void`	`resetViolations()`	Empty the violations list.
`static void`	`violationsAdd(Violation v)`	Add a violation to the violations list.
`static boolean`	`violationsEmpty()`	True if the violations list is empty.

internalInvariantEvaluationErrors
```
public static List<Throwable> internalInvariantEvaluationErrors
```
A list of throwables seen when attempting to evaluate properties.

public static long numExceptionalPptExits

public static List<Violation> getViolations()

Returns the list of violations.

resetViolations
```
public static void resetViolations()
```
Empty the violations list.

violationsEmpty
```
public static boolean violationsEmpty()
```
True if the violations list is empty.

public static void violationsAdd(Violation v)

Add a violation to the violations list.

public static final boolean isPowerOfTwo(int x)

public static final boolean isWithinPointerRange(int value)

Class Runtime