-
Notifications
You must be signed in to change notification settings - Fork 7
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge remote-tracking branch 'origin/master' into mka/topdown
- Loading branch information
Showing
36 changed files
with
2,615 additions
and
2 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
74 changes: 74 additions & 0 deletions
74
plugins/de.cau.cs.kieler.klighd/src/de/cau/cs/kieler/klighd/filtering/AndConnective.java
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,74 @@ | ||
| /* | ||
| * KIELER - Kiel Integrated Environment for Layout Eclipse RichClient | ||
| * | ||
| * http://rtsys.informatik.uni-kiel.de/kieler | ||
| * | ||
| * Copyright 2022 by | ||
| * + Kiel University | ||
| * + Department of Computer Science | ||
| * + Real-Time and Embedded Systems Group | ||
| * | ||
| * This program and the accompanying materials are made available under the | ||
| * terms of the Eclipse Public License 2.0 which is available at | ||
| * http://www.eclipse.org/legal/epl-2.0. | ||
| * | ||
| * SPDX-License-Identifier: EPL-2.0 | ||
| */ | ||
| package de.cau.cs.kieler.klighd.filtering; | ||
|
|
||
| /** | ||
| * An And Connective takes two rules R1 and R2 and evaluates to true | ||
| * iff | ||
| * R1 and R2 evaluate to true. | ||
| * | ||
| * @author mka | ||
| * @author tik | ||
| * | ||
| */ | ||
| public class AndConnective extends BinaryConnective { | ||
| protected static final String NAME = "AND"; | ||
|
|
||
| /** | ||
| * Constructor for unnamed rule. | ||
| * @param leftOperand left operand | ||
| * @param rightOperand right operand | ||
| */ | ||
| public AndConnective(SemanticFilterRule leftOperand, SemanticFilterRule rightOperand) { | ||
| this(leftOperand, rightOperand, null, null); | ||
| } | ||
|
|
||
| /** | ||
| * Constructor for unnamed rule with default value. | ||
| * @param leftOperand left operand | ||
| * @param rightOperand right operand | ||
| * @param defaultValue the default value | ||
| */ | ||
| public AndConnective(SemanticFilterRule leftOperand, SemanticFilterRule rightOperand, Boolean defaultValue) { | ||
| this(leftOperand, rightOperand, defaultValue, null); | ||
| } | ||
|
|
||
| /** | ||
| * Constructor for named rule. | ||
| * @param leftOperand left operand | ||
| * @param rightOperand right operand | ||
| * @param ruleName rule name | ||
| */ | ||
| public AndConnective(SemanticFilterRule leftOperand, SemanticFilterRule rightOperand, String ruleName) { | ||
| this(leftOperand, rightOperand, null, ruleName); | ||
| } | ||
|
|
||
| /** | ||
| * Constructor for named rule with default value. | ||
| * @param leftOperand left operand | ||
| * @param rightOperand right operand | ||
| * @param defaultValue the default value | ||
| * @param ruleName rule name | ||
| */ | ||
| public AndConnective(SemanticFilterRule leftOperand, SemanticFilterRule rightOperand, Boolean defaultValue, String ruleName) { | ||
| super(defaultValue, ruleName); | ||
| this.name = NAME; | ||
| this.leftOperand = leftOperand; | ||
| this.rightOperand = rightOperand; | ||
| } | ||
|
|
||
| } |
67 changes: 67 additions & 0 deletions
67
plugins/de.cau.cs.kieler.klighd/src/de/cau/cs/kieler/klighd/filtering/BinaryConnective.java
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,67 @@ | ||
| /* | ||
| * KIELER - Kiel Integrated Environment for Layout Eclipse RichClient | ||
| * | ||
| * http://rtsys.informatik.uni-kiel.de/kieler | ||
| * | ||
| * Copyright 2022 by | ||
| * + Kiel University | ||
| * + Department of Computer Science | ||
| * + Real-Time and Embedded Systems Group | ||
| * | ||
| * This program and the accompanying materials are made available under the | ||
| * terms of the Eclipse Public License 2.0 which is available at | ||
| * http://www.eclipse.org/legal/epl-2.0. | ||
| * | ||
| * SPDX-License-Identifier: EPL-2.0 | ||
| */ | ||
| package de.cau.cs.kieler.klighd.filtering; | ||
|
|
||
| /** | ||
| * A binary connective C takes two filter rules R1 and R2 as operands and creates the new rule R1 C R2. | ||
| * @author mka | ||
| * @author tik | ||
| * | ||
| */ | ||
| public abstract class BinaryConnective extends SemanticFilterRule { | ||
|
|
||
| protected String name; | ||
| protected SemanticFilterRule leftOperand; | ||
| protected SemanticFilterRule rightOperand; | ||
|
|
||
| /** | ||
| * {@inheritDoc} | ||
| */ | ||
| public BinaryConnective() { | ||
|
|
||
| } | ||
|
|
||
| /** | ||
| * {@inheritDoc} | ||
| */ | ||
| public BinaryConnective(Boolean defaultValue) { | ||
| super(defaultValue); | ||
| } | ||
|
|
||
| /** | ||
| * {@inheritDoc} | ||
| */ | ||
| public BinaryConnective(String ruleName) { | ||
| super(ruleName); | ||
| } | ||
|
|
||
| /** | ||
| * {@inheritDoc} | ||
| */ | ||
| public BinaryConnective(Boolean defaultValue, String ruleName) { | ||
| super(defaultValue, ruleName); | ||
| } | ||
|
|
||
| /** | ||
| * Returns a string representation of the rule of the form 'C(R1, R2)'. | ||
| * @return the rule string | ||
| */ | ||
| public String toString() { | ||
| return name + "(" + leftOperand + ", " + rightOperand + ")"; | ||
| } | ||
|
|
||
| } |
62 changes: 62 additions & 0 deletions
62
plugins/de.cau.cs.kieler.klighd/src/de/cau/cs/kieler/klighd/filtering/FalseConnective.java
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,62 @@ | ||
| /* | ||
| * KIELER - Kiel Integrated Environment for Layout Eclipse RichClient | ||
| * | ||
| * http://rtsys.informatik.uni-kiel.de/kieler | ||
| * | ||
| * Copyright 2022 by | ||
| * + Kiel University | ||
| * + Department of Computer Science | ||
| * + Real-Time and Embedded Systems Group | ||
| * | ||
| * This program and the accompanying materials are made available under the | ||
| * terms of the Eclipse Public License 2.0 which is available at | ||
| * http://www.eclipse.org/legal/epl-2.0. | ||
| * | ||
| * SPDX-License-Identifier: EPL-2.0 | ||
| */ | ||
| package de.cau.cs.kieler.klighd.filtering; | ||
|
|
||
| /** | ||
| * A False Connective always evaluates to false. | ||
| * | ||
| * @author mka | ||
| * | ||
| */ | ||
| public class FalseConnective extends NullaryConnective { | ||
|
|
||
| protected static final String NAME = "FALSE"; | ||
|
|
||
| /** | ||
| * Constructor for unnamed rule. | ||
| */ | ||
| public FalseConnective() { | ||
| this(null, null); | ||
| } | ||
|
|
||
| /** | ||
| * Constructor for unnamed rule with default value. | ||
| * @param defaultValue | ||
| */ | ||
| public FalseConnective(Boolean defaultValue) { | ||
| this(defaultValue, null); | ||
| } | ||
|
|
||
| /** | ||
| * Constructor for named rule. | ||
| * @param ruleName | ||
| */ | ||
| public FalseConnective(String ruleName) { | ||
| this(null, ruleName); | ||
| } | ||
|
|
||
| /** | ||
| * Constructor for named rule with default value. | ||
| * @param defaultValue | ||
| * @param ruleName | ||
| */ | ||
| public FalseConnective(Boolean defaultValue, String ruleName) { | ||
| super(defaultValue, ruleName); | ||
| this.name = NAME; | ||
| } | ||
|
|
||
| } |
73 changes: 73 additions & 0 deletions
73
...e.cau.cs.kieler.klighd/src/de/cau/cs/kieler/klighd/filtering/GreaterEqualsConnective.java
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,73 @@ | ||
| /* | ||
| * KIELER - Kiel Integrated Environment for Layout Eclipse RichClient | ||
| * | ||
| * http://rtsys.informatik.uni-kiel.de/kieler | ||
| * | ||
| * Copyright 2022 by | ||
| * + Kiel University | ||
| * + Department of Computer Science | ||
| * + Real-Time and Embedded Systems Group | ||
| * | ||
| * This program and the accompanying materials are made available under the | ||
| * terms of the Eclipse Public License 2.0 which is available at | ||
| * http://www.eclipse.org/legal/epl-2.0. | ||
| * | ||
| * SPDX-License-Identifier: EPL-2.0 | ||
| */ | ||
| package de.cau.cs.kieler.klighd.filtering; | ||
|
|
||
| /** | ||
| * A GreaterEquals Connective takes two numeric rules R1 and R2 and evaluates to true | ||
| * iff | ||
| * R1 >= R2 | ||
| * | ||
| * @author mka | ||
| * | ||
| */ | ||
| public class GreaterEqualsConnective extends BinaryConnective { | ||
| protected static final String NAME = "GREATEREQUALS"; | ||
|
|
||
| /** | ||
| * Constructor for unnamed rule. | ||
| * @param leftOperand left operand | ||
| * @param rightOperand right operand | ||
| */ | ||
| public GreaterEqualsConnective(NumericResult leftOperand, NumericResult rightOperand) { | ||
| this(leftOperand, rightOperand, null, null); | ||
| } | ||
|
|
||
| /** | ||
| * Constructor for unnamed rule with default value. | ||
| * @param leftOperand left operand | ||
| * @param rightOperand right operand | ||
| * @param defaultValue the default value | ||
| */ | ||
| public GreaterEqualsConnective(NumericResult leftOperand, NumericResult rightOperand, Boolean defaultValue) { | ||
| this(leftOperand, rightOperand, defaultValue, null); | ||
| } | ||
|
|
||
| /** | ||
| * Constructor for named rule. | ||
| * @param leftOperand left operand | ||
| * @param rightOperand right operand | ||
| * @param ruleName rule name | ||
| */ | ||
| public GreaterEqualsConnective(NumericResult leftOperand, NumericResult rightOperand, String ruleName) { | ||
| this(leftOperand, rightOperand, null, ruleName); | ||
| } | ||
|
|
||
| /** | ||
| * Constructor for named rule with default value. | ||
| * @param leftOperand left operand | ||
| * @param rightOperand right operand | ||
| * @param defaultValue the default value | ||
| * @param ruleName rule name | ||
| */ | ||
| public GreaterEqualsConnective(NumericResult leftOperand, NumericResult rightOperand, Boolean defaultValue, String ruleName) { | ||
| super(defaultValue, ruleName); | ||
| this.name = NAME; | ||
| this.leftOperand = (SemanticFilterRule) leftOperand; | ||
| this.rightOperand = (SemanticFilterRule) rightOperand; | ||
| } | ||
|
|
||
| } |
Oops, something went wrong.