sleep.taint
Class TaintModeGeneratedSteps

java.lang.Object
  extended by sleep.engine.GeneratedSteps
      extended by sleep.taint.TaintModeGeneratedSteps

public class TaintModeGeneratedSteps
extends GeneratedSteps

A replacement factory that generates Sleep interpreter instructions that honor and spread the taint mode.


Constructor Summary
TaintModeGeneratedSteps()
           
 
Method Summary
 Step Call(java.lang.String function)
           
 Step ObjectAccess(java.lang.String name)
           
 Step ObjectAccessStatic(java.lang.Class aClass, java.lang.String name)
           
 Step ObjectNew(java.lang.Class name)
           
 Step Operate(java.lang.String oper)
           
 Step PLiteral(java.util.List doit)
           
 
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
 

Constructor Detail

TaintModeGeneratedSteps

public TaintModeGeneratedSteps()
Method Detail

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