# Debugging options for the org.eclipse.qvtd.compiler plug-in

# Turn on tracing of the QVTi design rule check
org.eclipse.qvtd.compiler/qvti/check/summary=false

# Turn on tracing of the operation dependency analysis result of each unsuccessful attempt
org.eclipse.qvtd.compiler/qvtm2qvts/dependency/attempt=false
# Turn on tracing of the operation dependency analysis operation call calls
org.eclipse.qvtd.compiler/qvtm2qvts/dependency/call=false
# Turn on tracing of the operation dependency analysis creating a new operation analysis
org.eclipse.qvtd.compiler/qvtm2qvts/dependency/create=false
# Turn on tracing of the operation dependency analysis hypothecating to break operation analysis loops
org.eclipse.qvtd.compiler/qvtm2qvts/dependency/hypothecating=false
# Turn on tracing of the operation dependency analysis addition of pending operation analysis
org.eclipse.qvtd.compiler/qvtm2qvts/dependency/pending=false
# Turn on tracing of the operation dependency analysis addition of refining operation analysis
org.eclipse.qvtd.compiler/qvtm2qvts/dependency/refining=false
# Turn on tracing of the operation dependency analysis result of the final successful attempt
org.eclipse.qvtd.compiler/qvtm2qvts/dependency/result=false
# Turn on tracing of the operation dependency analysis (re)starting an operation analysis
org.eclipse.qvtd.compiler/qvtm2qvts/dependency/start=false

# Turn on tracing of connection creation 
org.eclipse.qvtd.compiler/qvtm2qvts/connectionCreation=false
# Turn on tracing of connection routing 
org.eclipse.qvtd.compiler/qvtm2qvts/connectionRouting=false
# Turn on generation of debug graphs 
org.eclipse.qvtd.compiler/qvtm2qvts/debugGraphs=false
# Turn on dump of the consuming node for each class 
org.eclipse.qvtd.compiler/qvtm2qvts/dump/class2consumingNodes=false
# Turn on dump of the consumed properties analysis 
org.eclipse.qvtd.compiler/qvtm2qvts/dump/consumedProperties=false
# Turn on dump of the realized node for each produced class
org.eclipse.qvtd.compiler/qvtm2qvts/dump/class2realizedNodes=false
# Turn on dump of the domain usage for each input model 
org.eclipse.qvtd.compiler/qvtm2qvts/dump/inputModel2domainUsage=false
# Turn on dump of the possible containing properties for each class 
org.eclipse.qvtd.compiler/qvtm2qvts/dump/property2consumingClass=false

# Turn on tracing of the inter-region call tree
org.eclipse.qvtd.compiler/qvtm2qvts/callTree=false
# Turn on tracing of the region cycle resolution 
org.eclipse.qvtd.compiler/qvtm2qvts/regionCycles=false
# Turn on tracing of the region depth computation 
org.eclipse.qvtd.compiler/qvtm2qvts/regionDepth=false
# Turn on tracing of the region order computation 
org.eclipse.qvtd.compiler/qvtm2qvts/regionOrder=false
# Turn on tracing of the region call stack computation 
org.eclipse.qvtd.compiler/qvtm2qvts/regionStack=false
# Turn on tracing of the region traversal computation 
org.eclipse.qvtd.compiler/qvtm2qvts/regionTraversal=false

# Turn on tracing of the QVTr relations callTree 
#org.eclipse.qvtd.compiler/qvtr2qvtc/callTree=false
# Turn on tracing of the QVTc synthesis 
org.eclipse.qvtd.compiler/qvtr2qvtc/synthesize=false
# Turn on tracing of the QVTr variables analysis 
org.eclipse.qvtd.compiler/qvtr2qvtc/variables=false

# Turn on tracing of the head node groups controlling the trace model synthesis
org.eclipse.qvtd.compiler/qvtr2qvts/qvtr2qvts/trace/headNodeGroups=false
# Turn on tracing of the per-target node sources for the head node groups controlling the trace model synthesis
org.eclipse.qvtd.compiler/qvtr2qvts/qvtr2qvts/trace/headSources=false

# Turn on optional check for producer-less consumed nodes
org.eclipse.qvtd.compiler/qvts2qvts/connectivity=false
# Turn on display of the final of classdatum inheritance
org.eclipse.qvtd.compiler/qvts2qvts/connectivity/classdatums=false
# Turn on display of the final of connection fan-in to fan-out
org.eclipse.qvtd.compiler/qvts2qvts/connectivity/connections=false
# Turn on display of the final of edge fan-in to fan-out
org.eclipse.qvtd.compiler/qvts2qvts/connectivity/edges=false
# Turn on display of the final of node fan-in to fan-out
org.eclipse.qvtd.compiler/qvts2qvts/connectivity/nodes=false

# Turn on tracing of the overall global fallibilities
org.eclipse.qvtd.compiler/qvts2qvts/fallibility/global=false
# Turn on tracing of the contributing local fallibilities
org.eclipse.qvtd.compiler/qvts2qvts/fallibility/local=false

# Turn on tracing of the concurrent merger
org.eclipse.qvtd.compiler/qvts2qvts/merge/concurrent=false
# Turn on tracing of the early merge correlation attempts
org.eclipse.qvtd.compiler/qvts2qvts/merge/early=false
# Turn on tracing of the merge correelation failures
org.eclipse.qvtd.compiler/qvts2qvts/merge/failure=false
# Turn on tracing of the late merge correlation attempts
org.eclipse.qvtd.compiler/qvts2qvts/merge/late=false
# Turn on tracing of the sequential merger
org.eclipse.qvtd.compiler/qvts2qvts/merge/sequential=false

# Turn on tracing of the cycles that need partitioning
org.eclipse.qvtd.compiler/qvts2qvts/partition/cycles=false
# Turn on tracing of the properties that discriminate multiple consumers
org.eclipse.qvtd.compiler/qvts2qvts/partition/discrimination=false
# Turn on tracing of the head node groups controlling the partitioning
org.eclipse.qvtd.compiler/qvts2qvts/partition/headNodeGroups=false
# Turn on tracing of the immediate predecessors of each partition
org.eclipse.qvtd.compiler/qvts2qvts/partition/immediate-predecessors=false
# Turn on tracing of the transitive predecessors of each partition
org.eclipse.qvtd.compiler/qvts2qvts/partition/transitive-predecessors=false
# Turn on tracing of the transitive successors of each partition
org.eclipse.qvtd.compiler/qvts2qvts/partition/transitive-successors=false

# Turn on tracing of the analysis of property notifications
org.eclipse.qvtd.compiler/qvts2qvts/property/notify=false
# Turn on tracing of the synthesis of property observations
org.eclipse.qvtd.compiler/qvts2qvts/property/observe=false

# Turn on tracing of the cycles in region dependencies
org.eclipse.qvtd.compiler/qvts2qvts/region/cycles=false
# Turn on tracing of the immediate predecessors of each region
org.eclipse.qvtd.compiler/qvts2qvts/region/immediate-predecessors=false
# Turn on tracing of the transitive predecessors of each region
org.eclipse.qvtd.compiler/qvts2qvts/region/transitive-predecessors=false
# Turn on tracing of the transitive successors of each region
org.eclipse.qvtd.compiler/qvts2qvts/region/transitive-successors=false

# Turn on tracing of containment to break cycles
org.eclipse.qvtd.compiler/qvts2qvts/schedule/containment=false
# Turn on tracing of the each cycle in the schedule
org.eclipse.qvtd.compiler/qvts2qvts/schedule/cycle=false
# Turn on tracing of the transitive predecessors of each cycle in the schedule
org.eclipse.qvtd.compiler/qvts2qvts/schedule/cycle-predecessors=false
# Turn on tracing of the each cycle of the flattened parallel schedule
org.eclipse.qvtd.compiler/qvts2qvts/schedule/parallel=false
# Turn on tracing of the each cycle of the root of the schedule
org.eclipse.qvtd.compiler/qvts2qvts/schedule/root=false
# Turn on tracing of the transitive predecessors of the root of the schedule
# deprecated use org.eclipse.qvtd.compiler/qvts2qvts/partition/transitive-predecessors
org.eclipse.qvtd.compiler/qvts2qvts/schedule/root-successors=false

# Turn on tracing of the analysis for splitting of multi-headed regions
#org.eclipse.qvtd.compiler/qvtm2qvts/split/analysis=false
# Turn on tracing of the groups within multi-headed regions
org.eclipse.qvtd.compiler/qvts2qvts/split/groups=false
# Turn on tracing of the result of splitting multi-headed regions
org.eclipse.qvtd.compiler/qvts2qvts/split/result=false
# Turn on tracing of the stages of splitting multi-headed regions
org.eclipse.qvtd.compiler/qvts2qvts/split/stages=false