[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
|
- From: genie@xxxxxxxxxxx
- Date: Wed, 23 Mar 2011 11:35:36 -0400 (EDT)
- Delivered-to: imp-commit@eclipse.org
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;