sandmark.obfuscate.loop.dfa
Class PostprohibitDFA

java.lang.Object
  |
  +--sandmark.obfuscate.loop.dfa.DFA
        |
        +--sandmark.obfuscate.loop.dfa.PostprohibitDFA

public class PostprohibitDFA

extends DFA

Field Summary

Fields inherited from class sandmark.obfuscate.loop.dfa.DFA

myEdges, myStartState, myStates, rangeMap, stateMap

Constructor Summary

PostprohibitDFA(Algorithm alg1, RequisiteProperty prop, Algorithm[] allAlgs, ApplicationObject[] allObjects)

Method Summary

protected boolean	isLoopEdge(Algorithm alg1, Algorithm a, ApplicationObject t, RequisiteProperty prop, java.util.ArrayList s_q, java.util.ArrayList r_t)
protected boolean	isNonLoopEdge(Algorithm alg1, Algorithm a, ApplicationObject t, RequisiteProperty prop, java.util.ArrayList s_q, java.util.ArrayList s_qp, java.util.ArrayList r_t)

Methods inherited from class sandmark.obfuscate.loop.dfa.DFA

createDFA, dotInFile, getAlphabet, getNodeRangeMap, getPowerset, getStartState, hasProp, reassignWeights, toDot, trimDeadStates, trimUnreachable

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

PostprohibitDFA

public PostprohibitDFA(Algorithm alg1,
                       RequisiteProperty prop,
                       Algorithm[] allAlgs,
                       ApplicationObject[] allObjects)

Method Detail

isNonLoopEdge

protected boolean isNonLoopEdge(Algorithm alg1,
                                Algorithm a,
                                ApplicationObject t,
                                RequisiteProperty prop,
                                java.util.ArrayList s_q,
                                java.util.ArrayList s_qp,
                                java.util.ArrayList r_t)

Overrides:

isNonLoopEdge in class DFA

isLoopEdge

protected boolean isLoopEdge(Algorithm alg1,
                             Algorithm a,
                             ApplicationObject t,
                             RequisiteProperty prop,
                             java.util.ArrayList s_q,
                             java.util.ArrayList r_t)

Overrides:

isLoopEdge in class DFA