Class ExplodeArgumentsPlugin

Hierarchy

ExplodeArgumentsPlugin

Implements

IArgdownPlugin

Index

Constructors

constructor

Properties

name
run

Methods

Constructors

constructor

new ExplodeArgumentsPlugin(): ExplodeArgumentsPlugin

Returns ExplodeArgumentsPlugin

Properties

name

name: string = "ExplodeArgumentsPlugin"

The name of the plugin

run

run: IRequestHandler = ...

Use this method to do the main work outside of the Argdown AST. This is the last method to be called by the ArgdownApplication.

Methods

explodeArgument

explodeArgument(response: IArgdownResponse, argument: IArgument): void

- Defined in src/plugins/ExplodeArgumentsPlugin.ts:33
Parameters
- response: IArgdownResponse
- argument: IArgument
Returns void

getInferentialStep

getInferentialStep(response: IArgdownResponse, argument: IArgument, conclusion: IConclusion, index: number): IPCSStatement[]

- Defined in src/plugins/ExplodeArgumentsPlugin.ts:90
Parameters
- response: IArgdownResponse
- argument: IArgument
- conclusion: IConclusion
- index: number
Returns IPCSStatement[]

getSettings

getSettings(request: IArgdownRequest): IModelPluginSettings

- Defined in src/plugins/ExplodeArgumentsPlugin.ts:14
Parameters
- request: IArgdownRequest
Returns IModelPluginSettings

substituteStatementInEquivalenceClass

substituteStatementInEquivalenceClass(response: IArgdownResponse, oldStatement: IPCSStatement, newStatement: IPCSStatement): void

- Defined in src/plugins/ExplodeArgumentsPlugin.ts:183
Parameters
- response: IArgdownResponse
- oldStatement: IPCSStatement
- newStatement: IPCSStatement
Returns void

Generated using TypeDoc