Skip navigation links
A B C D E F G H I L M N O P Q R S T U V W 

A

abs(Object) - Static method in class org.overture.codegen.runtime.Utils
 
acos(Number) - Static method in class org.overture.codegen.runtime.MATH
 
acot(Number) - Static method in class org.overture.codegen.runtime.MATH
 
act - Variable in class org.overture.codegen.runtime.Sentinel
 
act - Static variable in class org.overture.codegen.runtime.StaticOperationsCounters
 
active - Variable in class org.overture.codegen.runtime.Sentinel
 
active - Static variable in class org.overture.codegen.runtime.StaticOperationsCounters
 
add(TraceNode) - Method in class org.overture.codegen.runtime.traces.AlternativeTraceNode
 
add(TraceNode) - Method in class org.overture.codegen.runtime.traces.ConcurrentTraceNode
 
add(TraceNode) - Method in class org.overture.codegen.runtime.traces.SequenceTraceNode
 
addVarFirst(TraceVariable) - Method in class org.overture.codegen.runtime.traces.TraceNode
 
alternatives - Variable in class org.overture.codegen.runtime.traces.AlternativeTraceNode
 
AlternativeTraceNode - Class in org.overture.codegen.runtime.traces
 
AlternativeTraceNode() - Constructor for class org.overture.codegen.runtime.traces.AlternativeTraceNode
 
asin(Number) - Static method in class org.overture.codegen.runtime.MATH
 
atan(Number) - Static method in class org.overture.codegen.runtime.MATH
 
available() - Method in class org.overture.codegen.runtime.copying.FastByteArrayInputStream
 

B

BOOL - Static variable in class org.overture.codegen.runtime.Utils
 
buf - Variable in class org.overture.codegen.runtime.copying.FastByteArrayInputStream
Our byte buffer
buf - Variable in class org.overture.codegen.runtime.copying.FastByteArrayOutputStream
Buffer and size

C

CallSequence - Class in org.overture.codegen.runtime.traces
 
CallSequence() - Constructor for class org.overture.codegen.runtime.traces.CallSequence
 
CallStatement - Class in org.overture.codegen.runtime.traces
 
CallStatement() - Constructor for class org.overture.codegen.runtime.traces.CallStatement
 
CallStatementPp - Class in org.overture.codegen.runtime.traces
 
CallStatementPp() - Constructor for class org.overture.codegen.runtime.traces.CallStatementPp
 
CHAR - Static variable in class org.overture.codegen.runtime.Utils
 
classname(Object) - Static method in class org.overture.codegen.runtime.VDMUtil
 
comp(Object, Object) - Static method in class org.overture.codegen.runtime.MapUtil
 
compareStem(CallSequence, int) - Method in class org.overture.codegen.runtime.traces.CallSequence
 
compareTo(Object) - Method in class org.overture.codegen.runtime.Tuple
 
compatible(Class...) - Method in class org.overture.codegen.runtime.Tuple
 
conc(VDMSeq, VDMSeq) - Static method in class org.overture.codegen.runtime.SeqUtil
 
ConcurrentTraceNode - Class in org.overture.codegen.runtime.traces
 
ConcurrentTraceNode() - Constructor for class org.overture.codegen.runtime.traces.ConcurrentTraceNode
 
copy(Object) - Static method in class org.overture.codegen.runtime.copying.DeepCopy
Returns a copy of the object, or null if the object cannot be serialized.
copy() - Method in interface org.overture.codegen.runtime.Record
 
copy() - Method in class org.overture.codegen.runtime.Tuple
 
copy(T) - Static method in class org.overture.codegen.runtime.Utils
 
copy() - Method in interface org.overture.codegen.runtime.ValueType
 
copy() - Method in class org.overture.codegen.runtime.VDMMap
 
copy() - Method in class org.overture.codegen.runtime.VDMSeq
 
copy() - Method in class org.overture.codegen.runtime.VDMSet
 
copyStaticFields(Class<?>) - Method in class org.overture.codegen.runtime.traces.ModuleCopy
 
cos(Number) - Static method in class org.overture.codegen.runtime.MATH
 
cot(Number) - Static method in class org.overture.codegen.runtime.MATH
 
count - Variable in class org.overture.codegen.runtime.copying.FastByteArrayInputStream
Number of bytes that we can read from the buffer

D

DeepCopy - Class in org.overture.codegen.runtime.copying
Utility for making deep copies (vs.
DeepCopy() - Constructor for class org.overture.codegen.runtime.copying.DeepCopy
 
deepCopy(Object) - Static method in class org.overture.codegen.runtime.traces.ModuleCopy
 
diff(Object, Object) - Static method in class org.overture.codegen.runtime.SetUtil
 
dinter(Object) - Static method in class org.overture.codegen.runtime.SetUtil
 
distConc(VDMSeq) - Static method in class org.overture.codegen.runtime.SeqUtil
 
distConcStrings(VDMSeq) - Static method in class org.overture.codegen.runtime.SeqUtil
 
div(Object, Object) - Static method in class org.overture.codegen.runtime.Utils
 
divide(Object, Object) - Static method in class org.overture.codegen.runtime.Utils
 
dom(Object) - Static method in class org.overture.codegen.runtime.MapUtil
 
domResBy(Object, Object) - Static method in class org.overture.codegen.runtime.MapUtil
 
domResTo(Object, Object) - Static method in class org.overture.codegen.runtime.MapUtil
 
dunion(Object) - Static method in class org.overture.codegen.runtime.SetUtil
 

E

echo(String) - Static method in class org.overture.codegen.runtime.IO
 
echo(VDMSeq) - Static method in class org.overture.codegen.runtime.IO
 
elems(VDMSeq) - Static method in class org.overture.codegen.runtime.SeqUtil
 
elems(String) - Static method in class org.overture.codegen.runtime.SeqUtil
 
empty(Object) - Static method in class org.overture.codegen.runtime.Utils
 
entering(long) - Method in class org.overture.codegen.runtime.Sentinel
 
entering(String, long) - Static method in class org.overture.codegen.runtime.StaticSentinel
 
equals(Object) - Method in class org.overture.codegen.runtime.Maplet
 
equals(Object) - Method in class org.overture.codegen.runtime.Token
 
equals(Object) - Method in class org.overture.codegen.runtime.traces.TraceTest
 
equals(Object) - Method in class org.overture.codegen.runtime.Tuple
 
equals(Object, Object) - Static method in class org.overture.codegen.runtime.Utils
 
evalPP(String, Long) - Static method in class org.overture.codegen.runtime.StaticSentinel
 
EvaluatePP - Interface in org.overture.codegen.runtime
This interface contains only one method that every generated class should implement when the concurrency features are selected for generation.
evaluatePP(Number) - Method in interface org.overture.codegen.runtime.EvaluatePP
 
execute() - Method in class org.overture.codegen.runtime.traces.CallStatement
 
executeTests(TraceNode, TestAccumulator, Store) - Static method in class org.overture.codegen.runtime.traces.TraceNode
 
executeTests(TraceNode, Class<?>, TestAccumulator, Store) - Static method in class org.overture.codegen.runtime.traces.TraceNode
 
ExitException - Exception in org.overture.codegen.runtime
 
ExitException() - Constructor for exception org.overture.codegen.runtime.ExitException
 
ExitException(Object) - Constructor for exception org.overture.codegen.runtime.ExitException
 
exp(Number) - Static method in class org.overture.codegen.runtime.MATH
 

F

fac(Number) - Static method in class org.overture.codegen.runtime.MATH
 
FastByteArrayInputStream - Class in org.overture.codegen.runtime.copying
ByteArrayInputStream implementation that does not synchronize methods.
FastByteArrayInputStream(byte[], int) - Constructor for class org.overture.codegen.runtime.copying.FastByteArrayInputStream
 
FastByteArrayOutputStream - Class in org.overture.codegen.runtime.copying
ByteArrayOutputStream implementation that doesn't synchronize methods and doesn't copy the data on toByteArray().
FastByteArrayOutputStream() - Constructor for class org.overture.codegen.runtime.copying.FastByteArrayOutputStream
Constructs a stream with buffer capacity size 5K
FastByteArrayOutputStream(int) - Constructor for class org.overture.codegen.runtime.copying.FastByteArrayOutputStream
Constructs a stream with the given initial size
fecho(String, String, Object) - Static method in class org.overture.codegen.runtime.IO
 
fecho(VDMSeq, VDMSeq, Object) - Static method in class org.overture.codegen.runtime.IO
 
ferror() - Static method in class org.overture.codegen.runtime.IO
 
filter(List<Object>, CallSequence, int) - Method in class org.overture.codegen.runtime.traces.TestSequence
Filter remaining tests based on one set of results.
fin - Variable in class org.overture.codegen.runtime.Sentinel
 
fin - Static variable in class org.overture.codegen.runtime.StaticOperationsCounters
 
findValue(String) - Static method in enum org.overture.codegen.runtime.traces.TraceReductionType
 
floor(Object) - Static method in class org.overture.codegen.runtime.Utils
 
formatFields(Object...) - Static method in class org.overture.codegen.runtime.Utils
 
freadval(String) - Static method in class org.overture.codegen.runtime.IO
 
freadval(VDMSeq) - Static method in class org.overture.codegen.runtime.IO
 
from - Variable in class org.overture.codegen.runtime.traces.RepeatTraceNode
 
fwriteval(String, p, Object) - Static method in class org.overture.codegen.runtime.IO
 
fwriteval(VDMSeq, p, Object) - Static method in class org.overture.codegen.runtime.IO
 

G

get(Object, Object) - Static method in class org.overture.codegen.runtime.MapUtil
 
get(int) - Method in class org.overture.codegen.runtime.traces.AlternativeTraceNode
 
get(int) - Method in class org.overture.codegen.runtime.traces.ConcurrentTraceNode
 
get(int) - Method in interface org.overture.codegen.runtime.traces.IIterableTraceNode
 
get(int) - Method in class org.overture.codegen.runtime.traces.LazyTestSequence
 
get(int) - Method in class org.overture.codegen.runtime.traces.RepeatTraceNode
 
get(int) - Method in class org.overture.codegen.runtime.traces.SequenceTraceNode
 
get(int) - Method in class org.overture.codegen.runtime.Tuple
 
get(Object, Object) - Static method in class org.overture.codegen.runtime.Utils
 
get_file_pos() - Static method in class org.overture.codegen.runtime.VDMUtil
 
getAllFields(Class<?>) - Static method in class org.overture.codegen.runtime.traces.ModuleCopy
 
getAllFields(List<Field>, Class<?>) - Static method in class org.overture.codegen.runtime.traces.ModuleCopy
 
getAllTests() - Method in class org.overture.codegen.runtime.traces.InMemoryTestAccumulator
 
getByteArray() - Method in class org.overture.codegen.runtime.copying.FastByteArrayOutputStream
Returns the byte array containing the written data.
getDisplayName() - Method in enum org.overture.codegen.runtime.traces.TraceReductionType
 
getFile(VDMSeq) - Static method in class org.overture.codegen.runtime.IO
 
getFilter() - Method in class org.overture.codegen.runtime.traces.CallSequence
 
getFirst() - Method in class org.overture.codegen.runtime.traces.Pair
 
getInputStream() - Method in class org.overture.codegen.runtime.copying.FastByteArrayOutputStream
Returns a ByteArrayInputStream for reading back the written data
getLeft() - Method in class org.overture.codegen.runtime.Maplet
 
getNext() - Method in class org.overture.codegen.runtime.traces.InMemoryTestAccumulator
 
getNo() - Method in class org.overture.codegen.runtime.traces.TraceTest
 
getNumLeft() - Method in class org.overture.codegen.runtime.traces.PermuteArray
 
getResult() - Method in class org.overture.codegen.runtime.traces.TraceTest
 
getRight() - Method in class org.overture.codegen.runtime.Maplet
 
getSecond() - Method in class org.overture.codegen.runtime.traces.Pair
 
getSize() - Method in class org.overture.codegen.runtime.copying.FastByteArrayOutputStream
 
getTest() - Method in class org.overture.codegen.runtime.traces.TraceTest
 
getTests() - Method in class org.overture.codegen.runtime.traces.AlternativeTraceNode
 
getTests() - Method in class org.overture.codegen.runtime.traces.ConcurrentTraceNode
 
getTests() - Method in class org.overture.codegen.runtime.traces.RepeatTraceNode
 
getTests() - Method in class org.overture.codegen.runtime.traces.SequenceTraceNode
 
getTests() - Method in class org.overture.codegen.runtime.traces.StatementTraceNode
 
getTests() - Method in class org.overture.codegen.runtime.traces.TraceNode
 
getTotal() - Method in class org.overture.codegen.runtime.traces.PermuteArray
 
getValue() - Method in class org.overture.codegen.runtime.Token
 
getValue() - Method in class org.overture.codegen.runtime.traces.ModuleCopy
 
getValue() - Method in class org.overture.codegen.runtime.traces.ObjectCopy
 
getValue(Number) - Method in class org.overture.codegen.runtime.traces.Store
 
getVars() - Method in class org.overture.codegen.runtime.traces.TraceNode
 
getVerdict() - Method in class org.overture.codegen.runtime.traces.TraceTest
 

H

hashCode() - Method in class org.overture.codegen.runtime.Maplet
 
hashCode() - Method in class org.overture.codegen.runtime.Token
 
hashCode() - Method in class org.overture.codegen.runtime.traces.TraceTest
 
hashCode() - Method in class org.overture.codegen.runtime.Tuple
 
hashCode(Object...) - Static method in class org.overture.codegen.runtime.Utils
 
hasNext() - Method in class org.overture.codegen.runtime.traces.InMemoryTestAccumulator
 
hasNext() - Method in class org.overture.codegen.runtime.traces.PermuteArray
 
hasNext() - Method in class org.overture.codegen.runtime.traces.Permutor
 

I

IdGenerator - Class in org.overture.codegen.runtime.traces
 
IdGenerator() - Constructor for class org.overture.codegen.runtime.traces.IdGenerator
 
IIterableTraceNode - Interface in org.overture.codegen.runtime.traces
 
inc() - Method in class org.overture.codegen.runtime.traces.IdGenerator
 
index(Object) - Static method in class org.overture.codegen.runtime.Utils
 
inds(VDMSeq) - Static method in class org.overture.codegen.runtime.SeqUtil
 
inds(String) - Static method in class org.overture.codegen.runtime.SeqUtil
 
init(EvaluatePP, long) - Method in class org.overture.codegen.runtime.Sentinel
 
InMemoryTestAccumulator - Class in org.overture.codegen.runtime.traces
 
InMemoryTestAccumulator() - Constructor for class org.overture.codegen.runtime.traces.InMemoryTestAccumulator
 
inSet(Object, Object) - Static method in class org.overture.codegen.runtime.SetUtil
 
instance - Variable in class org.overture.codegen.runtime.Sentinel
 
instance - Variable in class org.overture.codegen.runtime.traces.CallStatementPp
 
INT - Static variable in class org.overture.codegen.runtime.Utils
 
intersect(Object, Object) - Static method in class org.overture.codegen.runtime.SetUtil
 
inverse(Object) - Static method in class org.overture.codegen.runtime.MapUtil
 
IO - Class in org.overture.codegen.runtime
 
IO() - Constructor for class org.overture.codegen.runtime.IO
 
is_(Object, Object) - Static method in class org.overture.codegen.runtime.Utils
 
is_bool(Object) - Static method in class org.overture.codegen.runtime.Utils
 
is_char(Object) - Static method in class org.overture.codegen.runtime.Utils
 
is_int(Object) - Static method in class org.overture.codegen.runtime.Utils
 
is_nat(Object) - Static method in class org.overture.codegen.runtime.Utils
 
is_nat1(Object) - Static method in class org.overture.codegen.runtime.Utils
 
is_rat(Object) - Static method in class org.overture.codegen.runtime.Utils
 
is_real(Object) - Static method in class org.overture.codegen.runtime.Utils
 
is_token(Object) - Static method in class org.overture.codegen.runtime.Utils
 
is_Tuple(Object, Class...) - Static method in class org.overture.codegen.runtime.Utils
 
isEmpty() - Method in class org.overture.codegen.runtime.traces.LazyTestSequence
 
isFinal(Field) - Static method in class org.overture.codegen.runtime.traces.ModuleCopy
 
isStatic(Field) - Static method in class org.overture.codegen.runtime.traces.ModuleCopy
 
isTypeCorrect() - Method in class org.overture.codegen.runtime.traces.CallStatement
 
isVoidValue(Object) - Static method in class org.overture.codegen.runtime.Utils
 
iteration(Object, Object) - Static method in class org.overture.codegen.runtime.MapUtil
 
iterator() - Method in class org.overture.codegen.runtime.traces.LazyTestSequence
 
iterator() - Method in class org.overture.codegen.runtime.traces.TestSequence
 

L

LazyTestSequence - Class in org.overture.codegen.runtime.traces
 
LazyTestSequence(IIterableTraceNode) - Constructor for class org.overture.codegen.runtime.traces.LazyTestSequence
 
leaving(long) - Method in class org.overture.codegen.runtime.Sentinel
 
leaving(String, int) - Static method in class org.overture.codegen.runtime.StaticSentinel
 
ln(Number) - Static method in class org.overture.codegen.runtime.MATH
 
log(Number) - Static method in class org.overture.codegen.runtime.MATH
 

M

map() - Static method in class org.overture.codegen.runtime.MapUtil
 
map(Maplet...) - Static method in class org.overture.codegen.runtime.MapUtil
 
MAP_ANYTHING_TO_ANYTHING - Static variable in class org.overture.codegen.runtime.Utils
 
mapAdd(Object, Object) - Static method in class org.overture.codegen.runtime.MapUtil
 
Maplet - Class in org.overture.codegen.runtime
 
Maplet(Object, Object) - Constructor for class org.overture.codegen.runtime.Maplet
 
mapSeqUpdate(Object, Object, Object) - Static method in class org.overture.codegen.runtime.Utils
 
MapUtil - Class in org.overture.codegen.runtime
 
MapUtil() - Constructor for class org.overture.codegen.runtime.MapUtil
 
markFiltered(CallSequence) - Method in class org.overture.codegen.runtime.traces.TestSequence
Mark a call sequence filtered if a call sequence failed that is the prefix of this one
MATH - Class in org.overture.codegen.runtime
 
MATH() - Constructor for class org.overture.codegen.runtime.MATH
 
meetsPreCond() - Method in class org.overture.codegen.runtime.traces.CallStatement
 
merge(Object) - Static method in class org.overture.codegen.runtime.MapUtil
 
methodnumber - Static variable in class org.overture.codegen.runtime.StaticOperationsCounters
 
mk_(Object...) - Static method in class org.overture.codegen.runtime.Tuple
 
mod(VDMSeq, VDMMap) - Static method in class org.overture.codegen.runtime.SeqUtil
 
mod(String, VDMMap) - Static method in class org.overture.codegen.runtime.SeqUtil
 
mod(Object, Object) - Static method in class org.overture.codegen.runtime.Utils
 
ModuleCopy - Class in org.overture.codegen.runtime.traces
 
ModuleCopy(Class<?>) - Constructor for class org.overture.codegen.runtime.traces.ModuleCopy
 
munion(Object, Object) - Static method in class org.overture.codegen.runtime.MapUtil
 

N

NAT - Static variable in class org.overture.codegen.runtime.Utils
 
NAT1 - Static variable in class org.overture.codegen.runtime.Utils
 
next() - Method in class org.overture.codegen.runtime.traces.PermuteArray
 
next() - Method in class org.overture.codegen.runtime.traces.Permutor
 
nodes - Variable in class org.overture.codegen.runtime.traces.ConcurrentTraceNode
 
nodes - Variable in class org.overture.codegen.runtime.traces.SequenceTraceNode
 

O

ObjectCopy - Class in org.overture.codegen.runtime.traces
 
ObjectCopy(Object) - Constructor for class org.overture.codegen.runtime.traces.ObjectCopy
 
org.overture.codegen.runtime - package org.overture.codegen.runtime
 
org.overture.codegen.runtime.copying - package org.overture.codegen.runtime.copying
 
org.overture.codegen.runtime.traces - package org.overture.codegen.runtime.traces
 
override(Object, Object) - Static method in class org.overture.codegen.runtime.MapUtil
 

P

Pair<T1,T2> - Class in org.overture.codegen.runtime.traces
 
Pair(T1, T2) - Constructor for class org.overture.codegen.runtime.traces.Pair
 
PermuteArray - Class in org.overture.codegen.runtime.traces
 
PermuteArray(int) - Constructor for class org.overture.codegen.runtime.traces.PermuteArray
 
Permutor - Class in org.overture.codegen.runtime.traces
 
Permutor(int[]) - Constructor for class org.overture.codegen.runtime.traces.Permutor
 
pi - Static variable in class org.overture.codegen.runtime.MATH
 
pi_f() - Static method in class org.overture.codegen.runtime.MATH
 
pos - Variable in class org.overture.codegen.runtime.copying.FastByteArrayInputStream
Number of bytes that have been read from the buffer
postCheck(T, boolean, String) - Static method in class org.overture.codegen.runtime.Utils
 
pow(Object, Object) - Static method in class org.overture.codegen.runtime.Utils
 
powerset(Object) - Static method in class org.overture.codegen.runtime.SetUtil
 
print(Object) - Static method in class org.overture.codegen.runtime.IO
 
printf(String, VDMSeq) - Static method in class org.overture.codegen.runtime.IO
 
printf(VDMSeq, VDMSeq) - Static method in class org.overture.codegen.runtime.IO
 
println(Object) - Static method in class org.overture.codegen.runtime.IO
 
PrintTestAccumulator - Class in org.overture.codegen.runtime.traces
 
PrintTestAccumulator() - Constructor for class org.overture.codegen.runtime.traces.PrintTestAccumulator
 
psubset(Object, Object) - Static method in class org.overture.codegen.runtime.SetUtil
 

Q

Quote - Interface in org.overture.codegen.runtime
 

R

rand(Number) - Static method in class org.overture.codegen.runtime.MATH
 
range(Object, Object) - Static method in class org.overture.codegen.runtime.SetUtil
 
RAT - Static variable in class org.overture.codegen.runtime.Utils
 
read() - Method in class org.overture.codegen.runtime.copying.FastByteArrayInputStream
 
read(byte[], int, int) - Method in class org.overture.codegen.runtime.copying.FastByteArrayInputStream
 
readState(Class<?>, Class<T>) - Static method in class org.overture.codegen.runtime.traces.TraceUtil
 
REAL - Static variable in class org.overture.codegen.runtime.Utils
 
Record - Interface in org.overture.codegen.runtime
 
register(Number, Object) - Method in class org.overture.codegen.runtime.traces.Store
 
registerTest(TraceTest) - Method in class org.overture.codegen.runtime.traces.InMemoryTestAccumulator
 
registerTest(TraceTest) - Method in class org.overture.codegen.runtime.traces.PrintTestAccumulator
 
registerTest(TraceTest) - Method in interface org.overture.codegen.runtime.traces.TestAccumulator
 
rem(Object, Object) - Static method in class org.overture.codegen.runtime.Utils
 
RepeatTraceNode - Class in org.overture.codegen.runtime.traces
 
RepeatTraceNode(TraceNode, long, long) - Constructor for class org.overture.codegen.runtime.traces.RepeatTraceNode
 
report(String, boolean, Object...) - Static method in class org.overture.codegen.runtime.Utils
 
req - Variable in class org.overture.codegen.runtime.Sentinel
 
req - Static variable in class org.overture.codegen.runtime.StaticOperationsCounters
 
reset() - Method in class org.overture.codegen.runtime.copying.FastByteArrayOutputStream
 
reset() - Method in class org.overture.codegen.runtime.traces.IdGenerator
 
reset() - Method in class org.overture.codegen.runtime.traces.ModuleCopy
 
reset() - Method in class org.overture.codegen.runtime.traces.ObjectCopy
 
reset() - Method in class org.overture.codegen.runtime.traces.PermuteArray
 
reset() - Method in class org.overture.codegen.runtime.traces.Store
 
resetStaticFields() - Method in class org.overture.codegen.runtime.traces.ModuleCopy
 
reverse(VDMSeq) - Static method in class org.overture.codegen.runtime.SeqUtil
 
rng(Object) - Static method in class org.overture.codegen.runtime.MapUtil
 
rngResBy(Object, Object) - Static method in class org.overture.codegen.runtime.MapUtil
 
rngResTo(Object, Object) - Static method in class org.overture.codegen.runtime.MapUtil
 

S

Sentinel - Class in org.overture.codegen.runtime
This is the Sentinel class which the inner classes are extending.
Sentinel() - Constructor for class org.overture.codegen.runtime.Sentinel
 
seq() - Static method in class org.overture.codegen.runtime.SeqUtil
 
seq(Object...) - Static method in class org.overture.codegen.runtime.SeqUtil
 
SEQ_OF_ANYTHING - Static variable in class org.overture.codegen.runtime.Utils
 
seq_of_char2val(Object, Object) - Static method in class org.overture.codegen.runtime.VDMUtil
 
SequenceTraceNode - Class in org.overture.codegen.runtime.traces
 
SequenceTraceNode() - Constructor for class org.overture.codegen.runtime.traces.SequenceTraceNode
 
SeqUtil - Class in org.overture.codegen.runtime
 
SeqUtil() - Constructor for class org.overture.codegen.runtime.SeqUtil
 
set() - Static method in class org.overture.codegen.runtime.SetUtil
 
set(Object...) - Static method in class org.overture.codegen.runtime.SetUtil
 
set2seq(Object) - Static method in class org.overture.codegen.runtime.VDMUtil
 
SET_OF_ANYTHING - Static variable in class org.overture.codegen.runtime.Utils
 
setFilter(int) - Method in class org.overture.codegen.runtime.traces.CallSequence
 
setFirst(T1) - Method in class org.overture.codegen.runtime.traces.Pair
 
setInstance(Object) - Method in class org.overture.codegen.runtime.traces.CallStatementPp
 
setSecond(T2) - Method in class org.overture.codegen.runtime.traces.Pair
 
SetUtil - Class in org.overture.codegen.runtime
 
SetUtil() - Constructor for class org.overture.codegen.runtime.SetUtil
 
showResults(List<TraceTest>) - Static method in class org.overture.codegen.runtime.traces.TraceNode
 
sin(Number) - Static method in class org.overture.codegen.runtime.MATH
 
size - Variable in class org.overture.codegen.runtime.copying.FastByteArrayOutputStream
 
size() - Method in class org.overture.codegen.runtime.traces.AlternativeTraceNode
 
size() - Method in class org.overture.codegen.runtime.traces.ConcurrentTraceNode
 
size() - Method in interface org.overture.codegen.runtime.traces.IIterableTraceNode
 
size() - Method in class org.overture.codegen.runtime.traces.LazyTestSequence
 
size() - Method in class org.overture.codegen.runtime.traces.RepeatTraceNode
 
size() - Method in class org.overture.codegen.runtime.traces.SequenceTraceNode
 
size() - Method in class org.overture.codegen.runtime.Tuple
 
skip(long) - Method in class org.overture.codegen.runtime.copying.FastByteArrayInputStream
 
sprintf(String, List<Object>) - Static method in class org.overture.codegen.runtime.IO
 
sprintf(VDMSeq, VDMSeq) - Static method in class org.overture.codegen.runtime.IO
 
sqrt(Number) - Static method in class org.overture.codegen.runtime.MATH
 
srand(Number) - Static method in class org.overture.codegen.runtime.MATH
 
srand2(Number) - Static method in class org.overture.codegen.runtime.MATH
 
stateChanged() - Method in class org.overture.codegen.runtime.Sentinel
 
stateChanged() - Static method in class org.overture.codegen.runtime.StaticSentinel
 
Statement - Interface in org.overture.codegen.runtime.traces
 
StatementTraceNode - Class in org.overture.codegen.runtime.traces
 
StatementTraceNode(CallStatement) - Constructor for class org.overture.codegen.runtime.traces.StatementTraceNode
 
staticFields - Variable in class org.overture.codegen.runtime.traces.ModuleCopy
 
StaticOperationsCounters - Class in org.overture.codegen.runtime
 
StaticOperationsCounters() - Constructor for class org.overture.codegen.runtime.StaticOperationsCounters
 
staticReg(Number, Class<?>) - Method in class org.overture.codegen.runtime.traces.Store
 
StaticSentinel - Class in org.overture.codegen.runtime
 
StaticSentinel() - Constructor for class org.overture.codegen.runtime.StaticSentinel
 
Store - Class in org.overture.codegen.runtime.traces
 
Store() - Constructor for class org.overture.codegen.runtime.traces.Store
 
STRING - Static variable in class org.overture.codegen.runtime.Utils
 
subSeq(VDMSeq, Number, Number) - Static method in class org.overture.codegen.runtime.SeqUtil
 
subSeq(String, Number, Number) - Static method in class org.overture.codegen.runtime.SeqUtil
 
subset(Object, Object) - Static method in class org.overture.codegen.runtime.SetUtil
 

T

tail(VDMSeq) - Static method in class org.overture.codegen.runtime.SeqUtil
 
tail(String) - Static method in class org.overture.codegen.runtime.SeqUtil
 
tan(Number) - Static method in class org.overture.codegen.runtime.MATH
 
TestAccumulator - Interface in org.overture.codegen.runtime.traces
 
TestSequence - Class in org.overture.codegen.runtime.traces
 
TestSequence() - Constructor for class org.overture.codegen.runtime.traces.TestSequence
 
to - Variable in class org.overture.codegen.runtime.traces.RepeatTraceNode
 
Token - Class in org.overture.codegen.runtime
 
Token(Object) - Constructor for class org.overture.codegen.runtime.Token
 
TOKEN - Static variable in class org.overture.codegen.runtime.Utils
 
toMaplets(Object) - Static method in class org.overture.codegen.runtime.MapUtil
 
toSeq(Object) - Static method in class org.overture.codegen.runtime.SeqUtil
 
toShape(TraceReductionType) - Method in class org.overture.codegen.runtime.traces.CallSequence
 
toStr(Object) - Static method in class org.overture.codegen.runtime.SeqUtil
 
toStr(Iterator) - Static method in class org.overture.codegen.runtime.VDMSeq
 
toString() - Method in class org.overture.codegen.runtime.Maplet
 
toString() - Method in class org.overture.codegen.runtime.Token
 
toString() - Method in class org.overture.codegen.runtime.traces.AlternativeTraceNode
 
toString() - Method in class org.overture.codegen.runtime.traces.CallSequence
 
toString() - Method in class org.overture.codegen.runtime.traces.ConcurrentTraceNode
 
toString() - Method in class org.overture.codegen.runtime.traces.InMemoryTestAccumulator
 
toString() - Method in class org.overture.codegen.runtime.traces.Pair
 
toString() - Method in class org.overture.codegen.runtime.traces.RepeatTraceNode
 
toString() - Method in class org.overture.codegen.runtime.traces.SequenceTraceNode
 
toString() - Method in class org.overture.codegen.runtime.traces.StatementTraceNode
 
toString() - Method in class org.overture.codegen.runtime.traces.Store
 
toString() - Method in class org.overture.codegen.runtime.traces.TestSequence
 
toString() - Method in class org.overture.codegen.runtime.traces.TraceNode
 
toString() - Method in class org.overture.codegen.runtime.traces.TraceTest
 
toString() - Method in class org.overture.codegen.runtime.traces.TraceVariable
 
toString() - Method in class org.overture.codegen.runtime.Tuple
 
toString(Object) - Static method in class org.overture.codegen.runtime.Utils
 
toString() - Method in class org.overture.codegen.runtime.VDMMap
 
toString() - Method in class org.overture.codegen.runtime.VDMSeq
 
toString() - Method in class org.overture.codegen.runtime.VDMSet
 
TraceNode - Class in org.overture.codegen.runtime.traces
 
TraceNode() - Constructor for class org.overture.codegen.runtime.traces.TraceNode
 
TraceReductionType - Enum in org.overture.codegen.runtime.traces
 
TraceTest - Class in org.overture.codegen.runtime.traces
 
TraceTest(Integer, String, String, Verdict) - Constructor for class org.overture.codegen.runtime.traces.TraceTest
 
TraceUtil - Class in org.overture.codegen.runtime.traces
 
TraceUtil() - Constructor for class org.overture.codegen.runtime.traces.TraceUtil
 
TraceVariable - Class in org.overture.codegen.runtime.traces
 
TraceVariable(String, String, String) - Constructor for class org.overture.codegen.runtime.traces.TraceVariable
 
Tuple - Class in org.overture.codegen.runtime
 
TYPE_NOT_SUPPORTED - Static variable in class org.overture.codegen.runtime.Utils
 

U

union(Object, Object) - Static method in class org.overture.codegen.runtime.SetUtil
 
UNKNOWN - Static variable in class org.overture.codegen.runtime.Utils
 
Utils - Class in org.overture.codegen.runtime
 
Utils() - Constructor for class org.overture.codegen.runtime.Utils
 

V

val - Variable in class org.overture.codegen.runtime.traces.ObjectCopy
 
val2seq_of_char(Object) - Static method in class org.overture.codegen.runtime.VDMUtil
 
value() - Method in class org.overture.codegen.runtime.traces.IdGenerator
 
valueOf(String) - Static method in enum org.overture.codegen.runtime.traces.TraceReductionType
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum org.overture.codegen.runtime.traces.Verdict
Returns the enum constant of this type with the specified name.
values() - Static method in enum org.overture.codegen.runtime.traces.TraceReductionType
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum org.overture.codegen.runtime.traces.Verdict
Returns an array containing the constants of this enum type, in the order they are declared.
ValueType - Interface in org.overture.codegen.runtime
 
VDMMap - Class in org.overture.codegen.runtime
 
VDMMap() - Constructor for class org.overture.codegen.runtime.VDMMap
 
VDMSeq - Class in org.overture.codegen.runtime
 
VDMSeq() - Constructor for class org.overture.codegen.runtime.VDMSeq
 
VDMSet - Class in org.overture.codegen.runtime
 
VDMSet() - Constructor for class org.overture.codegen.runtime.VDMSet
 
VDMThread - Class in org.overture.codegen.runtime
This class was defined as intermediate layer class in order to extend through it the Thread class and activate the daemon property for the threads that are started.
VDMThread() - Constructor for class org.overture.codegen.runtime.VDMThread
 
VDMUtil - Class in org.overture.codegen.runtime
 
VDMUtil() - Constructor for class org.overture.codegen.runtime.VDMUtil
 
Verdict - Enum in org.overture.codegen.runtime.traces
 
VOID_VALUE - Static variable in class org.overture.codegen.runtime.Utils
 

W

waiting - Variable in class org.overture.codegen.runtime.Sentinel
 
waiting - Static variable in class org.overture.codegen.runtime.StaticOperationsCounters
 
write(byte[]) - Method in class org.overture.codegen.runtime.copying.FastByteArrayOutputStream
 
write(byte[], int, int) - Method in class org.overture.codegen.runtime.copying.FastByteArrayOutputStream
 
write(int) - Method in class org.overture.codegen.runtime.copying.FastByteArrayOutputStream
 
writeval(p) - Static method in class org.overture.codegen.runtime.IO
 
A B C D E F G H I L M N O P Q R S T U V W 
Skip navigation links

Copyright © 2008–2020 Overture. All rights reserved.