ProofScriptParser issueshttps://git.scc.kit.edu/xt9634/ProofScriptParser/-/issues2017-08-28T13:36:39+02:00https://git.scc.kit.edu/xt9634/ProofScriptParser/-/issues/27Implement SetMainScript2017-08-28T13:36:39+02:00sarah.grebingImplement SetMainScriptThis functionality should:
1. mark the scriptname, that is set as main script
2. set the scripttab as activeTab
3. show the state of this script in the active goalTabThis functionality should:
1. mark the scriptname, that is set as main script
2. set the scripttab as activeTab
3. show the state of this script in the active goalTabhttps://git.scc.kit.edu/xt9634/ProofScriptParser/-/issues/18Labels for KeyData2017-08-02T14:35:48+02:00tk5165Labels for KeyDataImplement the getter of the labels in `KeyData`
* [x] public String getRuleLabel()
* [x] public String getBranchingLabel()
* [x] public String getNameLabel()
* [x] public String getProgramLinesLabel()
* [x] public String getProgramS...Implement the getter of the labels in `KeyData`
* [x] public String getRuleLabel()
* [x] public String getBranchingLabel()
* [x] public String getNameLabel()
* [x] public String getProgramLinesLabel()
* [x] public String getProgramStatementsLabel()Feature Complete 1.0https://git.scc.kit.edu/xt9634/ProofScriptParser/-/issues/26Implementation of isClosable2017-08-02T14:34:24+02:00sarah.grebingImplementation of isClosableThe API method is closable need to be implemented.
Needed for #22 The API method is closable need to be implemented.
Needed for #22 sarah.grebingsarah.grebinghttps://git.scc.kit.edu/xt9634/ProofScriptParser/-/issues/30Interpreter & Debugger don't work properly anymore.2017-08-02T14:32:49+02:00sarah.grebingInterpreter & Debugger don't work properly anymore.https://git.scc.kit.edu/xt9634/ProofScriptParser/-/issues/24NullPointerException of Interpreter when proof was closed2017-06-20T08:16:50+02:00sarah.grebingNullPointerException of Interpreter when proof was closedIn case a script results in a succeeded proof the method publishState() in the class PuppetMaster accesses the current Interpreter which is null in that case.In case a script results in a succeeded proof the method publishState() in the class PuppetMaster accesses the current Interpreter which is null in that case.https://git.scc.kit.edu/xt9634/ProofScriptParser/-/issues/9Resizing of the Windows does not work2017-06-05T16:12:57+02:00tk5165Resizing of the Windows does not work![image](/uploads/2df3235b63adaaaa81c7887cc96c9cf2/image.png)
Please use `BorderPane` or set the anchors.![image](/uploads/2df3235b63adaaaa81c7887cc96c9cf2/image.png)
Please use `BorderPane` or set the anchors.sarah.grebingsarah.grebinghttps://git.scc.kit.edu/xt9634/ProofScriptParser/-/issues/6Maven License plugin2017-05-04T15:28:47+02:00tk5165Maven License pluginhttps://git.scc.kit.edu/xt9634/ProofScriptParser/-/issues/1Kommentare für ProofScripts2017-05-04T15:07:12+02:00tk5165Kommentare für ProofScriptsAlternativen Singleline:
```
// (java, c, c++)
; prolog, lisp (belegt durch command terminiation)
% matlab (belegt durch modulo?)
# python, perl, php
```
Multiline
```
/* */ java c++
(* ... *) pascal, verschachtelbar
```Alternativen Singleline:
```
// (java, c, c++)
; prolog, lisp (belegt durch command terminiation)
% matlab (belegt durch modulo?)
# python, perl, php
```
Multiline
```
/* */ java c++
(* ... *) pascal, verschachtelbar
```Language Freezehttps://git.scc.kit.edu/xt9634/ProofScriptParser/-/issues/2CI einrichten2017-05-04T14:46:29+02:00tk5165CI einrichtenhttps://docs.gitlab.com/ee/ci/pipelines.htmlhttps://docs.gitlab.com/ee/ci/pipelines.htmlhttps://git.scc.kit.edu/xt9634/ProofScriptParser/-/issues/4Pretty printing2017-05-04T14:46:06+02:00tk5165Pretty printinghttps://git.scc.kit.edu/xt9634/ProofScriptParser/-/issues/7Repeat Statement2017-05-04T14:45:41+02:00tk5165Repeat StatementDas `repeat` Statement hat aktuell keinen Guard.
Unterscheidung zu Foreach?Das `repeat` Statement hat aktuell keinen Guard.
Unterscheidung zu Foreach?Language Freezehttps://git.scc.kit.edu/xt9634/ProofScriptParser/-/issues/8Type Checking für Ausdruck2017-05-01T13:44:01+02:00tk5165Type Checking für AusdruckImplementierung von für `Expression`
```java
public Type getType(Signature sig) throws NotWelldefinedException
```
Definition
* `Integer x Integer --> Bool` : `<, <= >=, >`
* `Integer x Integer --> Integer` : `+,-,*,/,%`...Implementierung von für `Expression`
```java
public Type getType(Signature sig) throws NotWelldefinedException
```
Definition
* `Integer x Integer --> Bool` : `<, <= >=, >`
* `Integer x Integer --> Integer` : `+,-,*,/,%`
* `Bool x Bool --> Bool` : `&, |, ==>, <=>`
* `Integer --> Integer` : `-`
* `Bool --> Bool` : `not`tk5165tk5165