sandmark.obfuscate.loop.dfa
Class PreprohibitDFA

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

public class PreprohibitDFA

extends DFA

Preprohibit.java Created: Fri Sep 20 14:07:18 2002

Author:

Kelly T Heffner

Field Summary

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

myEdges, myStartState, myStates, rangeMap, stateMap

Constructor Summary

PreprohibitDFA(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

PreprohibitDFA

public PreprohibitDFA(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