Adding recursive call to the getResolvedClassInfo() method: look into the parent...

[jpf-core.git] / src / classes / sun / reflect / generics / reflectiveObjects / ParameterizedTypeImpl.java

diff --git a/src/classes/sun/reflect/generics/reflectiveObjects/ParameterizedTypeImpl.java b/src/classes/sun/reflect/generics/reflectiveObjects/ParameterizedTypeImpl.java
index 6b105e6aea5f358b57d72eb73cf72d7b64951879..48c30d2f8cd8b65ff8060b9d0d32c5592d682548 100644 (file)
--- a/src/classes/sun/reflect/generics/reflectiveObjects/ParameterizedTypeImpl.java
+++ b/src/classes/sun/reflect/generics/reflectiveObjects/ParameterizedTypeImpl.java
@@ -1,3 +1,20 @@
+/*
+ * Copyright (C) 2014, United States Government, as represented by the
+ * Administrator of the National Aeronautics and Space Administration.
+ * All rights reserved.
+ *
+ * The Java Pathfinder core (jpf-core) platform is licensed under the
+ * Apache License, Version 2.0 (the "License"); you may not use this file except
+ * in compliance with the License. You may obtain a copy of the License at
+ *
+ *        http://www.apache.org/licenses/LICENSE-2.0.
+ *
+ * Unless required by applicable law or agreed to in writing, software
+ * distributed under the License is distributed on an "AS IS" BASIS,
+ * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ * See the License for the specific language governing permissions and
+ * limitations under the License.
+ */
 package sun.reflect.generics.reflectiveObjects;
 
 import sun.reflect.generics.tree.FieldTypeSignature;
@@ -10,6 +27,7 @@ import java.lang.reflect.TypeVariable;
 import java.util.Arrays;
 import java.util.Objects;
 
+// TODO: Fix for Groovy's model-checking
 /**
  * MJI model class for sun.reflect.generics.reflectiveObjects.ParameterizedTypeImpl
  *