[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
[imp-commit] r22867 - trunk/org.eclipse.imp.pdb.values/src/org/eclipse/imp/pdb/facts/type

Author: jvinju
Date: 2011-02-25 02:17:27 -0500 (Fri, 25 Feb 2011)
New Revision: 22867

Modified:
   trunk/org.eclipse.imp.pdb.values/src/org/eclipse/imp/pdb/facts/type/ConstructorType.java
Log:
* added missing methods to get field types of constructor types

Modified: trunk/org.eclipse.imp.pdb.values/src/org/eclipse/imp/pdb/facts/type/ConstructorType.java
===================================================================
--- trunk/org.eclipse.imp.pdb.values/src/org/eclipse/imp/pdb/facts/type/ConstructorType.java	2011-02-18 23:18:07 UTC (rev 22866)
+++ trunk/org.eclipse.imp.pdb.values/src/org/eclipse/imp/pdb/facts/type/ConstructorType.java	2011-02-25 07:17:27 UTC (rev 22867)
@@ -167,6 +167,16 @@
 	}
 	
 	@Override
+	public Type getFieldType(String fieldName) throws FactTypeUseException {
+		return fChildrenTypes.getFieldType(fieldName);
+	}
+	
+	@Override
+	public String getFieldName(int i) {
+		return fChildrenTypes.getFieldName(i);
+	}
+	
+	@Override
 	public <T> T accept(ITypeVisitor<T> visitor) {
 		return visitor.visitConstructor(this);
 	}