From 8d5c756e0a08eb81b1b8851a09a0151cb7eae52b Mon Sep 17 00:00:00 2001
From: jjenista <jjenista>
Date: Wed, 6 Aug 2008 19:32:15 +0000
Subject: [PATCH] Added a toStringBrief()

---
 Robust/src/IR/FieldDescriptor.java | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/Robust/src/IR/FieldDescriptor.java b/Robust/src/IR/FieldDescriptor.java
index a74e6917..fb67c8fe 100644
--- a/Robust/src/IR/FieldDescriptor.java
+++ b/Robust/src/IR/FieldDescriptor.java
@@ -43,4 +43,8 @@ public class FieldDescriptor extends Descriptor {
 	else
 	    return modifier.toString()+td.toString()+" "+getSymbol()+"="+en.printNode(0)+";";
     }
+
+    public String toStringBrief() {
+	return td.toString()+" "+getSymbol();
+    }
 }
-- 
2.34.1