Settings related to tracing options.
More...
|
| String | traceFileName = null |
| | The name to use as the root of the trace file produced.
|
Settings related to tracing options.
◆ TracingOptions()
| org.lflang.target.property.TracingProperty.TracingOptions.TracingOptions |
( |
boolean | enabled | ) |
|
◆ equals()
| boolean org.lflang.target.property.TracingProperty.TracingOptions.equals |
( |
Object | o | ) |
|
◆ isEnabled()
| boolean org.lflang.target.property.TracingProperty.TracingOptions.isEnabled |
( |
| ) |
|
◆ toString()
| String org.lflang.target.property.TracingProperty.TracingOptions.toString |
( |
| ) |
|
◆ enabled
| boolean org.lflang.target.property.TracingProperty.TracingOptions.enabled |
|
protected |
◆ traceFileName
| String org.lflang.target.property.TracingProperty.TracingOptions.traceFileName = null |
The name to use as the root of the trace file produced.
This defaults to the name of the .lf file.
The documentation for this class was generated from the following file:
- /Users/runner/work/lingua-franca/lingua-franca/core/src/main/java/org/lflang/target/property/TracingProperty.java