From 4373270eea4676d307b21a8c19d89ac905b85263 Mon Sep 17 00:00:00 2001 From: sivaji Date: Mon, 28 May 2007 01:51:16 +0000 Subject: [PATCH] Testing Eclipse commit --- Robust/src/Analysis/TaskStateAnalysis/FEdge.java | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/Robust/src/Analysis/TaskStateAnalysis/FEdge.java b/Robust/src/Analysis/TaskStateAnalysis/FEdge.java index 02a6c489..27599174 100644 --- a/Robust/src/Analysis/TaskStateAnalysis/FEdge.java +++ b/Robust/src/Analysis/TaskStateAnalysis/FEdge.java @@ -11,7 +11,9 @@ import Util.Edge; public class FEdge extends Edge { private String label; - + /** Class Constructor + * + */ public FEdge(FlagState target, String label) { super(target); this.label = label; -- 2.34.1