Module org.mal_lang.lib

Package org.mal_lang.lib

Class AST.AttackStep

java.lang.Object

org.mal_lang.lib.Position

org.mal_lang.lib.AST.AttackStep

All Implemented Interfaces:

Comparable<Position>

Enclosing class:

AST

public static class AST.AttackStep
extends Position

Field Summary

Fields

Modifier and Type	Field	Description
Optional<List<AST.CIA>>	cia
List<AST.Meta>	meta
AST.ID	name
Optional<AST.Reaches>	reaches
Optional<AST.Requires>	requires
List<AST.ID>	tags
Optional<AST.TTCExpr>	ttc
AST.AttackStepType	type

Fields inherited from class org.mal_lang.lib.Position

col, filename, line

Constructor Summary

Constructors

Constructor	Description
AttackStep(Position pos, AST.AttackStepType type, AST.ID name, List<AST.ID> tags, Optional<List<AST.CIA>> cia, Optional<AST.TTCExpr> ttc, List<AST.Meta> meta, Optional<AST.Requires> requires, Optional<AST.Reaches> reaches)

Method Summary

Modifier and Type	Method	Description
static String	listToString(List<AST.AttackStep> attackSteps, int spaces)
String	toString(int spaces)

Methods inherited from class org.mal_lang.lib.Position

compareTo, equals, hashCode, posString, toString

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

type

public final AST.AttackStepType type

name

public final AST.ID name

tags

public final List<AST.ID> tags

cia

public final Optional<List<AST.CIA>> cia

ttc

public final Optional<AST.TTCExpr> ttc

meta

public final List<AST.Meta> meta

requires

public final Optional<AST.Requires> requires

reaches

public final Optional<AST.Reaches> reaches

Constructor Detail

AttackStep

public AttackStep(Position pos,
                  AST.AttackStepType type,
                  AST.ID name,
                  List<AST.ID> tags,
                  Optional<List<AST.CIA>> cia,
                  Optional<AST.TTCExpr> ttc,
                  List<AST.Meta> meta,
                  Optional<AST.Requires> requires,
                  Optional<AST.Reaches> reaches)

Method Detail

toString

public String toString(int spaces)

listToString

public static String listToString(List<AST.AttackStep> attackSteps,
                                  int spaces)