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

Author: jvinju
Date: 2011-03-23 11:35:35 -0400 (Wed, 23 Mar 2011)
New Revision: 22909

Modified:
   trunk/org.eclipse.imp.pdb.values/src/org/eclipse/imp/pdb/facts/IBool.java
   trunk/org.eclipse.imp.pdb.values/src/org/eclipse/imp/pdb/facts/IConstructor.java
Log:
added headers

Modified: trunk/org.eclipse.imp.pdb.values/src/org/eclipse/imp/pdb/facts/IBool.java
===================================================================
--- trunk/org.eclipse.imp.pdb.values/src/org/eclipse/imp/pdb/facts/IBool.java	2011-03-23 15:31:33 UTC (rev 22908)
+++ trunk/org.eclipse.imp.pdb.values/src/org/eclipse/imp/pdb/facts/IBool.java	2011-03-23 15:35:35 UTC (rev 22909)
@@ -1,3 +1,13 @@
+/*******************************************************************************
+* Copyright (c) 2009 CWI
+* All rights reserved. This program and the accompanying materials
+* are made available under the terms of the Eclipse Public License v1.0
+* which accompanies this distribution, and is available at
+* http://www.eclipse.org/legal/epl-v10.html
+*
+* Contributors:
+*   Jurgen Vinju (jurgen@xxxxxxxxx) - initial API and implementation
+*******************************************************************************/
 package org.eclipse.imp.pdb.facts;
 
 public interface IBool extends IValue {

Modified: trunk/org.eclipse.imp.pdb.values/src/org/eclipse/imp/pdb/facts/IConstructor.java
===================================================================
--- trunk/org.eclipse.imp.pdb.values/src/org/eclipse/imp/pdb/facts/IConstructor.java	2011-03-23 15:31:33 UTC (rev 22908)
+++ trunk/org.eclipse.imp.pdb.values/src/org/eclipse/imp/pdb/facts/IConstructor.java	2011-03-23 15:35:35 UTC (rev 22909)
@@ -1,3 +1,13 @@
+/*******************************************************************************
+* Copyright (c) 2009 CWI
+* All rights reserved. This program and the accompanying materials
+* are made available under the terms of the Eclipse Public License v1.0
+* which accompanies this distribution, and is available at
+* http://www.eclipse.org/legal/epl-v10.html
+*
+* Contributors:
+*   Jurgen Vinju (jurgen@xxxxxxxxx) - initial API and implementation
+*******************************************************************************/
 package org.eclipse.imp.pdb.facts;
 
 import java.util.Map;