| # 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 |
