Class SymbolicExecutor
- java.lang.Object
-
- ru.ispras.microtesk.mmu.test.engine.memory.SymbolicExecutor
-
public final class SymbolicExecutor extends java.lang.Object
SymbolicExecutor
implements a simple symbolic executor of memory access structures.
-
-
Constructor Summary
Constructors Constructor Description SymbolicExecutor(SymbolicRestrictor restrictor, SymbolicResult result)
SymbolicExecutor(SymbolicResult result)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description java.lang.Boolean
execute(java.util.List<Access> structure, boolean finalize)
java.lang.Boolean
execute(ru.ispras.fortress.expression.Node condition)
java.lang.Boolean
execute(MemoryDataType dataType)
java.lang.Boolean
execute(AccessPath.Entry entry)
java.lang.Boolean
execute(Access access, boolean finalize)
SymbolicResult
getResult()
-
-
-
Constructor Detail
-
SymbolicExecutor
public SymbolicExecutor(SymbolicRestrictor restrictor, SymbolicResult result)
-
SymbolicExecutor
public SymbolicExecutor(SymbolicResult result)
-
-
Method Detail
-
getResult
public SymbolicResult getResult()
-
execute
public java.lang.Boolean execute(MemoryDataType dataType)
-
execute
public java.lang.Boolean execute(ru.ispras.fortress.expression.Node condition)
-
execute
public java.lang.Boolean execute(AccessPath.Entry entry)
-
execute
public java.lang.Boolean execute(Access access, boolean finalize)
-
execute
public java.lang.Boolean execute(java.util.List<Access> structure, boolean finalize)
-
-