Class PositiveSliceCondition

constructor

• new PositiveSliceCondition(positiveConditionBuilder, diagram): PositiveSliceCondition

• Parameters

  • positiveConditionBuilder: PositiveConditionBuilder
  • diagram: {
        filename?: string;
        diagram?: string;
    }

    • Optional filename?: string

    • Optional diagram?: string

  Returns PositiveSliceCondition

Readonly positiveConditionBuilder

Readonly diagram

check

• check(options?): Promise<Violation[]>

• Parameters

  • Optional options: CheckOptions

  Returns Promise<Violation[]>