Options
All
  • Public
  • Public/Protected
  • All
Menu

Interface IArgument

Argument with an optional premise-conclusion-structure (pcs)

If the argument has a premise-conclusion-structure, all outgoing relations that were defined for this argument are transformed by the ModelPlugin into relations of the argument's main conclusion (the last statement in the argument's pcs).

Hierarchy

Index

Properties

Optional color

color: undefined | string

Optional data

data: any

Optional endColumn

endColumn: undefined | number

Optional endLine

endLine: undefined | number

Optional endOffset

endOffset: undefined | number

Optional fontColor

fontColor: undefined | string

members

All argument definitions and references with the same title are stored as "descriptions" of the same argument and are stored in the members array.

These statements are not members of any equivalence class, have no logical relations and do not exist in the model apart from the argument.

Argument references are stored as descriptions without text and with IArgumentDescription.isReference set to true.

If a pcs was defined directly after an argument description, it will be stored in IArgumentDescription.pcs.

pcs

If the argument was logically reconstructed, it has a premise conclusion structure (pcs). A pcs consists of a statement list (not a list of equivalence classes) in which each statement plays either the role of "premise" or "conclusion". Using statements makes it possible to save argument-specific data in the statements: This is used to save the role of the statement in this argument. It is either a PREMISE, INTERMEDIARY_CONCLUSION or MAIN_CONCLUSION. Statements that have the role of a conclusion in the argument possess an inference property.

Optional relations

relations: undefined | IRelation[]

Optional section

section: undefined | null | ISection

Optional startColumn

startColumn: undefined | number

Optional startLine

startLine: undefined | number

Optional startOffset

startOffset: undefined | number

Optional tags

tags: undefined | string[]

Optional title

title: undefined | string

type

type: ARGUMENT

Generated using TypeDoc