StylesheetFromJSON

data class StylesheetFromJSON(codeTracking: String, hideCode: Boolean, hideVariables: Boolean, syntaxHighlightingOn: Boolean, syntaxHighlightingStyle: String, displayNewLinesInCode: Boolean, tabSpacing: Int, subtitles: StyleProperties, variables: Map<String, StyleProperties>, dataStructures: Map<String, StyleProperties>, positions: Map<String, PositionProperties>)

Stylesheet generated by parsing JSON file

Constructors

StylesheetFromJSON

fun StylesheetFromJSON(codeTracking: String = "stepInto", hideCode: Boolean = false, hideVariables: Boolean = false, syntaxHighlightingOn: Boolean = true, syntaxHighlightingStyle: String = "inkpot", displayNewLinesInCode: Boolean = true, tabSpacing: Int = 2, subtitles: StyleProperties = StyleProperties(), variables: Map<String, StyleProperties> = emptyMap(), dataStructures: Map<String, StyleProperties> = emptyMap(), positions: Map<String, PositionProperties> = emptyMap())

Create empty Stylesheet

Functions

component1

operator fun component1(): String

component10

operator fun component10(): Map<String, StyleProperties>

component11

operator fun component11(): Map<String, PositionProperties>

component2

operator fun component2(): Boolean

component3

operator fun component3(): Boolean

component4

operator fun component4(): Boolean

component5

operator fun component5(): String

component6

operator fun component6(): Boolean

component7

operator fun component7(): Int

component8

operator fun component8(): StyleProperties

component9

operator fun component9(): Map<String, StyleProperties>

copy

fun copy(codeTracking: String = "stepInto", hideCode: Boolean = false, hideVariables: Boolean = false, syntaxHighlightingOn: Boolean = true, syntaxHighlightingStyle: String = "inkpot", displayNewLinesInCode: Boolean = true, tabSpacing: Int = 2, subtitles: StyleProperties = StyleProperties(), variables: Map<String, StyleProperties> = emptyMap(), dataStructures: Map<String, StyleProperties> = emptyMap(), positions: Map<String, PositionProperties> = emptyMap()): StylesheetFromJSON

equals

open operator override fun equals(other: Any?): Boolean

hashCode

open override fun hashCode(): Int

toString

open override fun toString(): String

Properties

codeTracking

val codeTracking: String

: whether to step into or step over code

dataStructures

val dataStructures: Map<String, StyleProperties>

: style properties for data structures in program

displayNewLinesInCode

val displayNewLinesInCode: Boolean = true

: whether new lines \n should be displayed in the code block

hideCode

val hideCode: Boolean = false

: whether to hide the code and variable blocks

hideVariables

val hideVariables: Boolean = false

: whether to hide the variable block

positions

val positions: Map<String, PositionProperties>

: positions of each data structure as well as code, variable and subtitle blocks in final animation

subtitles

val subtitles: StyleProperties

: style properties for subtitles

syntaxHighlightingOn

val syntaxHighlightingOn: Boolean = true

: whether syntax highlighting in the code block should be switched on

syntaxHighlightingStyle

var syntaxHighlightingStyle: String

: which Pygments style should be applied to the code in the code block

tabSpacing

val tabSpacing: Int = 2

: how many tabs should be used to indent code in the code block

variables

val variables: Map<String, StyleProperties>

: style properties for variables in program