GitLab

Merge branch 'grebing_luong_workbranch' of C:\Users\Lulu\Desktop\Bachelor\ProofScriptParser with conflicts.

adding userinteraction window + and as a testcase added ApplyEq Example + scripttree added contextmenu though refresh has to be fixed

TODO: bugfix foreachend + qs infinity loop

TODO: Bugfix foreach and closed goals

branchlabels working in the Maxtriplets Example
defaultcases added to visitor

foreach afterstatements not defined
icons added

TODO: add to mapping in right order

Dummygoalsnodes are visible
no script executed -> no nullpointer
symbex leads to infinity loop
remove scriptpanel in prooftree
matchexpression shown

TODO:
foreach start shown but still missing end
icon for scripttree needs to be included

works for most examples, except for Java examples -> scripttree does not recognize loaded java ex and displays old scripttree

second item in tree gets unneccessary children, cuz rootnode often added to mapping

last nodes get lost in view but not in mapping

TODO: working view
branch labels
matches
colouring

INterim State for ScriptTree, structure is build up, now cornercases such as macthing expressions need to be added