Uses of Class
org.jmlspecs.jml4.rac.runtime.JMLAssertionError.Location

Packages that use JMLAssertionError.Location

org.jmlspecs.jml4.rac.runtime

Uses of JMLAssertionError.Location in org.jmlspecs.jml4.rac.runtime

Methods in org.jmlspecs.jml4.rac.runtime that return types with arguments of type JMLAssertionError.Location

java.util.Set<JMLAssertionError.Location>

JMLAssertionError.locations() Return the locations.

Constructor parameters in org.jmlspecs.jml4.rac.runtime with type arguments of type JMLAssertionError.Location

JMLAssertError(java.lang.String className, java.lang.String methodName, java.util.Set<JMLAssertionError.Location> assertions, java.util.Map<java.lang.String,java.lang.Object> state)

JMLAssertError(java.lang.String message, java.lang.String className, java.lang.String methodName, java.util.Set<JMLAssertionError.Location> assertions, java.util.Map<java.lang.String,java.lang.Object> state)
Create a constructor with an associated message

JMLAssertionError(java.lang.String className, java.lang.String methodName, java.util.Set<JMLAssertionError.Location> assertions, java.util.Map<java.lang.String,java.lang.Object> state)

JMLAssertionError(java.lang.String message, java.lang.String className, java.lang.String methodName, java.util.Set<JMLAssertionError.Location> assertions, java.util.Map<java.lang.String,java.lang.Object> state)
Create a constructor with an associated message

JMLAssumeError(java.lang.String className, java.lang.String methodName, java.util.Set<JMLAssertionError.Location> assertions, java.util.Map<java.lang.String,java.lang.Object> state)

JMLAssumeError(java.lang.String message, java.lang.String className, java.lang.String methodName, java.util.Set<JMLAssertionError.Location> assertions, java.util.Map<java.lang.String,java.lang.Object> state)
Create a constructor with an associated message

JMLConstraintError(java.lang.String className, java.lang.String methodName, java.util.Set<JMLAssertionError.Location> assertions, java.util.Map<java.lang.String,java.lang.Object> state)

JMLDebugError(java.lang.String className, java.lang.String methodName, java.util.Set<JMLAssertionError.Location> assertions, java.util.Map<java.lang.String,java.lang.Object> state)

JMLEntryPreconditionError(java.lang.String className, java.lang.String methodName, java.util.Set<JMLAssertionError.Location> assertions, java.util.Map<java.lang.String,java.lang.Object> state)

JMLExceptionalPostconditionError(java.lang.String className, java.lang.String methodName, java.util.Set<JMLAssertionError.Location> locs, java.util.Map<java.lang.String,java.lang.Object> values)

JMLExitExceptionalPostconditionError(java.lang.String className, java.lang.String methodName, java.util.Set<JMLAssertionError.Location> locs, java.util.Map<java.lang.String,java.lang.Object> values)

JMLExitNormalPostconditionError(java.lang.String className, java.lang.String methodName, java.util.Set<JMLAssertionError.Location> assertions, java.util.Map<java.lang.String,java.lang.Object> state)

JMLHenceByError(java.lang.String className, java.lang.String methodName, java.util.Set<JMLAssertionError.Location> assertions, java.util.Map<java.lang.String,java.lang.Object> state)

JMLHistoryConstraintError(java.lang.String className, java.lang.String methodName, java.util.Set<JMLAssertionError.Location> assertions, java.util.Map<java.lang.String,java.lang.Object> state)
Creates a new JMLInvariantError instance.

JMLIntraconditionError(java.lang.String className, java.lang.String methodName, java.util.Set<JMLAssertionError.Location> assertions, java.util.Map<java.lang.String,java.lang.Object> state)

JMLIntraconditionError(java.lang.String message, java.lang.String className, java.lang.String methodName, java.util.Set<JMLAssertionError.Location> assertions, java.util.Map<java.lang.String,java.lang.Object> state)
Create a constructor with an associated message

JMLInvariantError(java.lang.String className, java.lang.String methodName, java.util.Set<JMLAssertionError.Location> assertions, java.util.Map<java.lang.String,java.lang.Object> state)
Creates a new JMLInvariantError instance.

JMLLoopInvariantError(java.lang.String className, java.lang.String methodName, java.util.Set<JMLAssertionError.Location> assertions, java.util.Map<java.lang.String,java.lang.Object> state)

JMLLoopVariantError(java.lang.String className, java.lang.String methodName, java.util.Set<JMLAssertionError.Location> assertions, java.util.Map<java.lang.String,java.lang.Object> state)

JMLNormalPostconditionError(java.lang.String className, java.lang.String methodName, java.util.Set<JMLAssertionError.Location> assertions, java.util.Map<java.lang.String,java.lang.Object> state)

JMLPostconditionError(java.lang.String className, java.lang.String methodName, java.util.Set<JMLAssertionError.Location> assertions, java.util.Map<java.lang.String,java.lang.Object> state)

JMLPreconditionError(java.lang.String className, java.lang.String methodName, java.util.Set<JMLAssertionError.Location> assertions, java.util.Map<java.lang.String,java.lang.Object> state)

JMLUnreachableError(java.lang.String className, java.lang.String methodName, java.util.Set<JMLAssertionError.Location> assertions)