sleep.taint
Class TaintModeGeneratedSteps
java.lang.Object
sleep.engine.GeneratedSteps
sleep.taint.TaintModeGeneratedSteps
public class TaintModeGeneratedSteps
- extends GeneratedSteps
A replacement factory that generates Sleep interpreter instructions that honor and spread the taint mode.
Methods inherited from class sleep.engine.GeneratedSteps |
Assign, AssignAndOperate, AssignT, AssignTupleAndOperate, Bind, BindFilter, BindPredicate, Check, CreateClosure, CreateFrame, Decide, Get, Goto, Index, IteratorCreate, IteratorDestroy, IteratorNext, PopTry, Return, SValue, Try |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
TaintModeGeneratedSteps
public TaintModeGeneratedSteps()
Call
public Step Call(java.lang.String function)
- Overrides:
Call
in class GeneratedSteps
PLiteral
public Step PLiteral(java.util.List doit)
- Overrides:
PLiteral
in class GeneratedSteps
Operate
public Step Operate(java.lang.String oper)
- Overrides:
Operate
in class GeneratedSteps
ObjectNew
public Step ObjectNew(java.lang.Class name)
- Overrides:
ObjectNew
in class GeneratedSteps
ObjectAccess
public Step ObjectAccess(java.lang.String name)
- Overrides:
ObjectAccess
in class GeneratedSteps
ObjectAccessStatic
public Step ObjectAccessStatic(java.lang.Class aClass,
java.lang.String name)
- Overrides:
ObjectAccessStatic
in class GeneratedSteps