From 53aac5093c70760db655201be0fcea83deeca18c Mon Sep 17 00:00:00 2001
From: Daniel Knorreck <daniel.knorreck@telecom-paristech.fr>
Date: Fri, 25 Feb 2011 09:15:25 +0000
Subject: [PATCH]
---
src/tepe/TEPEComponent.java | 38 ++++++++++++++++++++---
src/tepe/TEPETimeConstraintComponent.java | 21 +++++++++++--
2 files changed, 52 insertions(+), 7 deletions(-)
diff --git a/src/tepe/TEPEComponent.java b/src/tepe/TEPEComponent.java
index a42587a625..73de9b585e 100644
--- a/src/tepe/TEPEComponent.java
+++ b/src/tepe/TEPEComponent.java
@@ -51,8 +51,7 @@ import myutil.*;
public abstract class TEPEComponent {
private static int ID = 0;
-
- protected String name;
+ protected String name;
protected Object referenceObject;
private int id;
@@ -69,13 +68,44 @@ public abstract class TEPEComponent {
protected Vector <Boolean> inNegatedProperty;
protected Vector <TEPEComponent> outPropertyComponents;
- public TEPEComponent(String _name, Object _referenceObject) {
+ public TEPEComponent(String _name, Object _referenceObject) {
name = _name;
referenceObject = _referenceObject;
id = ID;
ID ++;
- }
+ }
+ public int getID(){
+ return id;
+ }
+
+ public Vector<TEPEComponent> getInAttributes(){
+ return inAttributeComponents;
+ }
+
+ public Vector<TEPEComponent> getOutAttributes(){
+ return outAttributeComponents;
+ }
+
+ public Vector<TEPEComponent> getInSignals(){
+ return inSignalComponents;
+ }
+
+ public Vector<TEPEComponent> getInNegatedSignals(){
+ return inNegatedSignalComponents;
+ }
+
+ public Vector<TEPEComponent> getOutSignals(){
+ return outSignalComponents;
+ }
+
+ public Vector<TEPEComponent> getInProperties(){
+ return inPropertyComponents;
+ }
+
+ public Vector<TEPEComponent> getOutProperties(){
+ return outPropertyComponents;
+ }
public String getName() {
return name;
diff --git a/src/tepe/TEPETimeConstraintComponent.java b/src/tepe/TEPETimeConstraintComponent.java
index bed1dc99e9..5a033b71e5 100644
--- a/src/tepe/TEPETimeConstraintComponent.java
+++ b/src/tepe/TEPETimeConstraintComponent.java
@@ -54,7 +54,7 @@ public class TEPETimeConstraintComponent extends TEPEComponent {
public static final int SEQUENCE = 0;
public static final int NO_SEQUENCE = 1;
- protected int type;
+ protected int type, minTime, maxTime;
public TEPETimeConstraintComponent(String _name, Object _referenceObject) {
super(_name, _referenceObject);
@@ -69,6 +69,21 @@ public class TEPETimeConstraintComponent extends TEPEComponent {
public int getType() {
return type;
}
-
-
+
+ public void setMinTime(int _minTime){
+ minTime=_minTime;
+ }
+
+ public void setMaxTime(int _maxTime){
+ maxTime = _maxTime;
+ }
+
+ public int getMinTime(){
+ return minTime;
+ }
+
+ public int getMaxTime(){
+ return maxTime;
+ }
+
}
--
GitLab