![]() | Process |
[FlagsAttribute] public enum ProcessSpecFlags
Member name | Value | Description |
---|---|---|
UseNoExistingFiles | 0 | Do not use existing files. |
UseJavaGeneratedFiles | 1 | Only use existing C# files generated by the Java frontend. |
UseAllGeneratedFiles | 3 | Use all existing C# files. |
UseExistingMask | 3 | Mask for flags specifying whether and how already existing C# files shall be used while processing a specification. |
KeepGeneratedFiles | 4 | Do not delete generated C# files. |
CompileWithDebug | 8 | Include debug information in the generated assemblies. |
NoProcessActions | 16 | Do not process intermediate actions file (stops after model has been processed). |
NoCreateActionsAssembly | 32 | Do not compile the generated final actions file. |
NoDebugEvents | 64 | Do not fire debug (mostly action) events in the generated code. Used for optimization. |
NoEvents | 128 | Do not fire (attribute change) events in the generated code. Used for optimization. |
LazyNIC | 256 | Execute the negatives, independents, and conditionals only at the end of matching. |
Noinline | 512 | Forbids inlining of subpatterns and independents (allows quick disabling in case of a bug of for comparison). |
Profile | 1,024 | Profiling information is collected, i.e. some statistics about search steps carried out |
GenerateEvenIfSourcesDidNotChange | 2,048 | Generates anew even if the sources did not change (needed to get a new build e.g. after changing profiling or statistics) |