Overview  Package  Class  Tree  Deprecated  Index  Help 
 PREV   NEXT FRAMES    NO FRAMES    

Constant Field Values

Contents
sofya.apps.*

sofya.apps.atomicity.EventClassifier.EventClass
public static final int IBOTH_MOVER 4
public static final int ILEFT_MOVER 2
public static final int INON_MOVER 3
public static final int IRIGHT_MOVER 1

sofya.apps.atomicity.RBAutomata
protected static final int ACCEPT_L 2
protected static final int ACCEPT_R 1
protected static final int REJECT 0

sofya.apps.atomicity.RBAutomataExt52
protected static final int ACCEPT_MATCH_R 3

sofya.base.*

sofya.base.Handler
protected static final boolean HANDLER_EXTENSIONS true

sofya.base.ProjectDescription
public static final boolean ENABLE_BRANCH_EXTENSIONS true
public static final int MAJOR_REVISION 0
public static final int MINOR_REVISION 0
public static final int RELEASE_VERSION 2

sofya.base.ProtectedJarOutputStream
public static final int CENATT 36
public static final int CENATX 38
public static final int CENCOM 32
public static final int CENCRC 16
public static final int CENDSK 34
public static final int CENEXT 30
public static final int CENFLG 8
public static final int CENHDR 46
public static final int CENHOW 10
public static final int CENLEN 24
public static final int CENNAM 28
public static final int CENOFF 42
public static final long CENSIG 33639248L
public static final int CENSIZ 20
public static final int CENTIM 12
public static final int CENVEM 4
public static final int CENVER 6
public static final int ENDCOM 20
public static final int ENDHDR 22
public static final int ENDOFF 16
public static final long ENDSIG 101010256L
public static final int ENDSIZ 12
public static final int ENDSUB 8
public static final int ENDTOT 10
public static final int EXTCRC 4
public static final int EXTHDR 16
public static final int EXTLEN 12
public static final long EXTSIG 134695760L
public static final int EXTSIZ 8
public static final int LOCCRC 14
public static final int LOCEXT 28
public static final int LOCFLG 6
public static final int LOCHDR 30
public static final int LOCHOW 8
public static final int LOCLEN 22
public static final int LOCNAM 26
public static final long LOCSIG 67324752L
public static final int LOCSIZ 18
public static final int LOCTIM 10
public static final int LOCVER 4

sofya.base.SConstants
public static final int DEFAULT_PORT 27369
public static final int INST_COMPATIBLE 1
public static final int INST_OLD_UNSUPPORTED -2
public static final int INST_OPT_NORMAL 2
public static final int INST_OPT_SEQUENCE 4
public static final int SIG_CHKALIVE 1
public static final int SIG_ECHO 0

sofya.base.SConstants.BlockSubType
public static final int IDONTCARE -100
public static final int IFINALLY 95
public static final int IGOTO 65
public static final int IIF 71
public static final int IJSR 68
public static final int IRETURN 61
public static final int ISUMMARYTHROW 99
public static final int ISWITCH 75
public static final int ISYSTEMEXIT 97
public static final int ITHROW 96

sofya.base.SConstants.BlockType
public static final int IBLOCK 54
public static final int ICALL 44
public static final int IENTRY 45
public static final int IEXIT 46
public static final int IRETURN 50
public static final int MASK_BASIC 1
public static final int MASK_CALL 8
public static final int MASK_ENTRY 2
public static final int MASK_EXIT 4
public static final int MASK_RETURN 16
public static final int MASK_VALID 31

sofya.base.SConstants.BranchType
public static final int ICALL 8
public static final int IDONTCARE -1
public static final int IENTRY 16
public static final int IIF 1
public static final int IOTHER 32
public static final int ISWITCH 2
public static final int ITHROW 4
public static final int MASK_CALL 8
public static final int MASK_ENTRY 16
public static final int MASK_IF 1
public static final int MASK_OTHER 32
public static final int MASK_SWITCH 2
public static final int MASK_THROW 4
public static final int MASK_VALID 63

sofya.base.SConstants.TraceObjectType
public static final int IBASIC_BLOCK 20
public static final int IBRANCH_EDGE 21
public static final int ISEMANTIC_EVENT 22

sofya.ed.*

sofya.ed.semantic.EventSpecification
public static final int FIELD_WITNESS_NONE 0
public static final int FIELD_WITNESS_READ 1
public static final int FIELD_WITNESS_WRITE 2

sofya.ed.semantic.SemanticConstants
public static final byte EVENT_CALL_RETURN 24
public static final byte EVENT_CATCH 41
public static final byte EVENT_CONSTRUCTOR 20
public static final byte EVENT_CONSTRUCTOR_ENTER 32
public static final byte EVENT_CONSTRUCTOR_EXIT 33
public static final byte EVENT_GETFIELD 7
public static final byte EVENT_GETSTATIC 5
public static final byte EVENT_INTERFACE_CALL 23
public static final byte EVENT_MONITOR_ACQUIRE 11
public static final byte EVENT_MONITOR_CONTEND 10
public static final byte EVENT_MONITOR_PRE_RELEASE 12
public static final byte EVENT_MONITOR_RELEASE 13
public static final byte EVENT_NEW_OBJ 4
public static final byte EVENT_PUTFIELD 8
public static final byte EVENT_PUTSTATIC 6
public static final byte EVENT_SMETHOD_ENTER 36
public static final byte EVENT_SMETHOD_EXIT 37
public static final byte EVENT_START 1
public static final byte EVENT_STATIC_CALL 21
public static final byte EVENT_STATIC_INIT_ENTER 34
public static final byte EVENT_THREAD_DEATH 3
public static final byte EVENT_THREAD_START 2
public static final byte EVENT_THROW 40
public static final byte EVENT_VIRTUAL_CALL 22
public static final byte EVENT_VMETHOD_ENTER 30
public static final byte EVENT_VMETHOD_EXIT 31
public static final int TYPE_ASSERT 1073741824
public static final int TYPE_EVENT 0

sofya.ed.semantic.SemanticInstrumentor
protected static final java.lang.String arrFieldPrefix "_inst$$zk183_$arr$"
protected static final java.lang.String arrIdxFieldName "_inst$$zk183_$arr$idx$"
protected static final java.lang.String arrRefRdFieldName "_inst$$zk183_$arr$ref$rd"
protected static final java.lang.String arrRefWrFieldName "_inst$$zk183_$arr$ref$wr"
protected static final java.lang.String codeFieldName "_inst$$zk183_$code$"
protected static final java.lang.String flagFieldName "_inst$$zk183_$flag$"
protected static final java.lang.String loadFieldName "_inst$$zk183_$load$"
protected static final java.lang.String monaFieldName "_inst$$zk183_$mon$11"
protected static final java.lang.String moncFieldName "_inst$$zk183_$mon$10"
protected static final java.lang.String monFieldPrefix "_inst$$zk183_$mon$"
protected static final java.lang.String monprFieldName "_inst$$zk183_$mon$12"
protected static final java.lang.String monrFieldName "_inst$$zk183_$mon$13"
public static final java.lang.String PROBE_CLASS "sofya.ed.semantic.EDProbe"
protected static final java.lang.String typeFieldName "_inst$$zk183_$type$"

sofya.ed.semantic.TraceFileTarget
public static final int EOF -1

sofya.ed.structural.JUnitEventDispatcher
protected static final int OBJECT_ARRAY_CACHE_SIZE 1000
protected static final int SEQUENCE_ARRAY_SIZE 8192

sofya.ed.structural.ProgramEventDispatcher
protected static final boolean DEBUG false
public static final int MAX_CONNECTIONS 2

sofya.ed.structural.SequenceTraceWriter
public static final java.lang.String relaySocketAddr "127.0.0.1"
public static final int relaySocketPort 9288

sofya.ed.structural.SocketProbe
protected static final int BRANCH_EXIT_MARKER -134217728
protected static final int NEW_METHOD_MARKER -67108864

sofya.ed.structural.processors.AbstractSocketProcessingStrategy
protected static final boolean PREEMPTIVE true

sofya.graphs.*

sofya.graphs.Graph
public static final int MATCH_INCOMING 1
public static final int MATCH_OUTGOING 0

sofya.graphs.irg.IRG
public static final java.lang.String BASE_ID "<base class>"
public static final int MAX_NAME_TABLE_SIZE 65534
public static final int NO_SUPERCLASS 65535
public static final java.lang.String UNDEF_ID "<undefined>"

sofya.mutator.*

sofya.mutator.verifier.Verifier.Pass
public static final int IONE 1
public static final int ITHREE_A 3
public static final int ITHREE_B 4
public static final int ITWO 2

sofya.viewers.*

sofya.viewers.MutationTableViewer
public static final int DESCRIPTIVE 1
public static final int LIST 0

sofya.viewers.TestSelectionViewer
public static final int LIST 2
public static final int STATISTICAL 1
public static final int TABULAR 0

Overview  Package  Class  Tree  Deprecated  Index  Help 
 PREV   NEXT FRAMES    NO FRAMES