Class PetriNetResult

Index

Constructors

Accessors

errors info model warnings

Methods

addError addInfo addWarning

Constructors

constructor

new PetriNetResult(model?): PetriNetResult
Parameters
- model: PetriNet = ...
Returns PetriNetResult
- Defined in import/petri-net-result.ts:9

Accessors

errors

get errors(): string[]
Returns string[]
- Defined in import/petri-net-result.ts:24

info

get info(): string[]
Returns string[]
- Defined in import/petri-net-result.ts:41

model

get model(): PetriNet
Returns PetriNet
- Defined in import/petri-net-result.ts:16
set model(value): void
Parameters
- value: PetriNet
Returns void
- Defined in import/petri-net-result.ts:20

warnings

get warnings(): string[]
Returns string[]
- Defined in import/petri-net-result.ts:33

Methods

addError

addError(error, e): void
Parameters
- error: string
- e: Error
Returns void
- Defined in import/petri-net-result.ts:28

addInfo

addInfo(value): void
Parameters
- value: string
Returns void
- Defined in import/petri-net-result.ts:45

addWarning

addWarning(warning): void
Parameters
- warning: string
Returns void
- Defined in import/petri-net-result.ts:37