excludeFromSemantics property

bool excludeFromSemantics

Whether the tip's message should be excluded from the semantics tree.

More detail on SimpleTip.excludeFromSemantics

Implementation

final bool excludeFromSemantics;