DASCA
/
WALA
2
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

add copyright messages 

git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3169 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
This commit is contained in:
dolby-oss 2009-01-09 14:13:17 +00:00
parent 624fb4c5ae
commit 2b2cb065cb
39 changed files with 381 additions and 26 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
com.ibm.wala.cast.java.test.data/src/AnonymousClass.java
View File

@ -1,3 +1,13 @@
/******************************************************************************
* Copyright (c) 2002 - 2008 IBM Corporation.
* 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:
* IBM Corporation - initial API and implementation
*****************************************************************************/
public class AnonymousClass {
private interface Foo {
public int getValue();

10
com.ibm.wala.cast.java.test.data/src/Array1.java
View File

@ -1,3 +1,13 @@
/******************************************************************************
* Copyright (c) 2002 - 2008 IBM Corporation.
* 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:
* IBM Corporation - initial API and implementation
*****************************************************************************/
public class Array1 {
public static void main(String[] args) {
Array1 f= new Array1();

10
com.ibm.wala.cast.java.test.data/src/ArrayLiteral1.java
View File

@ -1,3 +1,13 @@
/******************************************************************************
* Copyright (c) 2002 - 2008 IBM Corporation.
* 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:
* IBM Corporation - initial API and implementation
*****************************************************************************/
public class ArrayLiteral1 {
public static void main(String[] args) {
ArrayLiteral1 al1= new ArrayLiteral1();

10
com.ibm.wala.cast.java.test.data/src/ArrayLiteral2.java
View File

@ -1,3 +1,13 @@
/******************************************************************************
* Copyright (c) 2002 - 2008 IBM Corporation.
* 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:
* IBM Corporation - initial API and implementation
*****************************************************************************/
public class ArrayLiteral2 {
public static void main(String[] args) {
ArrayLiteral2 al2= new ArrayLiteral2();

10
com.ibm.wala.cast.java.test.data/src/Breaks.java
View File

@ -1,3 +1,13 @@
/******************************************************************************
* Copyright (c) 2002 - 2008 IBM Corporation.
* 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:
* IBM Corporation - initial API and implementation
*****************************************************************************/
public class Breaks {
private static class Ref {

10
com.ibm.wala.cast.java.test.data/src/CastFromNull.java
View File

@ -1,3 +1,13 @@
/******************************************************************************
* Copyright (c) 2002 - 2008 IBM Corporation.
* 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:
* IBM Corporation - initial API and implementation
*****************************************************************************/
public class CastFromNull {
public static void main(String args[]) {
new CastFromNull();

10
com.ibm.wala.cast.java.test.data/src/Casts.java
View File

@ -1,3 +1,13 @@
/******************************************************************************
* Copyright (c) 2002 - 2008 IBM Corporation.
* 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:
* IBM Corporation - initial API and implementation
*****************************************************************************/
public class Casts {
public static void main(String[] args) {

10
com.ibm.wala.cast.java.test.data/src/DefaultConstructors.java
View File

@ -1,3 +1,13 @@
/******************************************************************************
* Copyright (c) 2002 - 2008 IBM Corporation.
* 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:
* IBM Corporation - initial API and implementation
*****************************************************************************/
public class DefaultConstructors {
public static void main(String args[]) {

11
com.ibm.wala.cast.java.test.data/src/Exception1.java
View File

@ -1,3 +1,14 @@
/******************************************************************************
* Copyright (c) 2002 - 2008 IBM Corporation.
* 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:
* IBM Corporation - initial API and implementation
*****************************************************************************/
public class Exception1 {
public static void main(String[] args) {
Exception1 e1= new Exception1();

10
com.ibm.wala.cast.java.test.data/src/Exception2.java
View File

@ -1,3 +1,13 @@
/******************************************************************************
* Copyright (c) 2002 - 2008 IBM Corporation.
* 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:
* IBM Corporation - initial API and implementation
*****************************************************************************/
import java.io.*;
public final class Exception2 {

10
com.ibm.wala.cast.java.test.data/src/Finally1.java
View File

@ -1,3 +1,13 @@
/******************************************************************************
* Copyright (c) 2002 - 2008 IBM Corporation.
* 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:
* IBM Corporation - initial API and implementation
*****************************************************************************/
public class Finally1 {
public static void main(String[] args) throws BadLanguageExceptionF1 {
Finally1 f1= new Finally1();

10
com.ibm.wala.cast.java.test.data/src/Finally2.java
View File

@ -1,3 +1,13 @@
/******************************************************************************
* Copyright (c) 2002 - 2008 IBM Corporation.
* 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:
* IBM Corporation - initial API and implementation
*****************************************************************************/
import java.io.IOException;
public class Finally2 {

11
com.ibm.wala.cast.java.test.data/src/FunkySupers.java
View File

@ -1,4 +1,13 @@
/******************************************************************************
* Copyright (c) 2002 - 2008 IBM Corporation.
* 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:
* IBM Corporation - initial API and implementation
*****************************************************************************/
public class FunkySupers {
int y;

10
com.ibm.wala.cast.java.test.data/src/Inheritance1.java
View File

@ -1,3 +1,13 @@
/******************************************************************************
* Copyright (c) 2002 - 2008 IBM Corporation.
* 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:
* IBM Corporation - initial API and implementation
*****************************************************************************/
public class Inheritance1 {
public static void main(String[] args) {
Inheritance1 ih1= new Inheritance1();

10
com.ibm.wala.cast.java.test.data/src/InheritedField.java
View File

@ -1,3 +1,13 @@
/******************************************************************************
* Copyright (c) 2002 - 2008 IBM Corporation.
* 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:
* IBM Corporation - initial API and implementation
*****************************************************************************/
public class InheritedField {
public static void main(String[] args) {
InheritedField if1= new InheritedField();

10
com.ibm.wala.cast.java.test.data/src/InnerClass.java
View File

@ -1,3 +1,13 @@
/******************************************************************************
* Copyright (c) 2002 - 2008 IBM Corporation.
* 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:
* IBM Corporation - initial API and implementation
*****************************************************************************/
public class InnerClass {
public static void main(String[] args) {
(new InnerClass()).method();

10
com.ibm.wala.cast.java.test.data/src/InnerClassA.java
View File

@ -1,3 +1,13 @@
/******************************************************************************
* Copyright (c) 2002 - 2008 IBM Corporation.
* 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:
* IBM Corporation - initial API and implementation
*****************************************************************************/
// other stranger test cases
//
// combininations of:

10
com.ibm.wala.cast.java.test.data/src/InnerClassLexicalReads.java
View File

@ -1,3 +1,13 @@
/******************************************************************************
* Copyright (c) 2002 - 2008 IBM Corporation.
* 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:
* IBM Corporation - initial API and implementation
*****************************************************************************/
interface IntConstant {
int getConstant();
}

10
com.ibm.wala.cast.java.test.data/src/InnerClassSuper.java
View File

@ -1,3 +1,13 @@
/******************************************************************************
* Copyright (c) 2002 - 2008 IBM Corporation.
* 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:
* IBM Corporation - initial API and implementation
*****************************************************************************/
public class InnerClassSuper {
int x = 5;
class SuperOuter {

10
com.ibm.wala.cast.java.test.data/src/InterfaceTest1.java
View File

@ -1,3 +1,13 @@
/******************************************************************************
* Copyright (c) 2002 - 2008 IBM Corporation.
* 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:
* IBM Corporation - initial API and implementation
*****************************************************************************/
public class InterfaceTest1 {
public static void main(String[] args) {
InterfaceTest1 it= new InterfaceTest1();

10
com.ibm.wala.cast.java.test.data/src/LocalClass.java
View File

@ -1,3 +1,13 @@
/******************************************************************************
* Copyright (c) 2002 - 2008 IBM Corporation.
* 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:
* IBM Corporation - initial API and implementation
*****************************************************************************/
public class LocalClass {
public static void main(String[] args) {
final Integer base = new Integer(6);

10
com.ibm.wala.cast.java.test.data/src/MiniaturList.java
View File

@ -1,3 +1,13 @@
/******************************************************************************
* Copyright (c) 2002 - 2008 IBM Corporation.
* 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:
* IBM Corporation - initial API and implementation
*****************************************************************************/
public class MiniaturList {
MiniaturList next;

10
com.ibm.wala.cast.java.test.data/src/MiniaturSliceBug.java
View File

@ -1,3 +1,13 @@
/******************************************************************************
* Copyright (c) 2002 - 2008 IBM Corporation.
* 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:
* IBM Corporation - initial API and implementation
*****************************************************************************/
abstract class PrimitiveWrapper {
/**

10
com.ibm.wala.cast.java.test.data/src/Monitor.java
View File

@ -1,3 +1,13 @@
/******************************************************************************
* Copyright (c) 2002 - 2008 IBM Corporation.
* 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:
* IBM Corporation - initial API and implementation
*****************************************************************************/
public class Monitor {
int i = 0;

10
com.ibm.wala.cast.java.test.data/src/Monitor2.java
View File

@ -1,3 +1,13 @@
/******************************************************************************
* Copyright (c) 2002 - 2008 IBM Corporation.
* 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:
* IBM Corporation - initial API and implementation
*****************************************************************************/
public class Monitor2 {
int i = 0;

10
com.ibm.wala.cast.java.test.data/src/NullArrayInit.java
View File

@ -1,3 +1,13 @@
/******************************************************************************
* Copyright (c) 2002 - 2008 IBM Corporation.
* 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:
* IBM Corporation - initial API and implementation
*****************************************************************************/
public class NullArrayInit {
String[] x = {null};

10
com.ibm.wala.cast.java.test.data/src/QualifiedStatic.java
View File

@ -1,3 +1,13 @@
/******************************************************************************
* Copyright (c) 2002 - 2008 IBM Corporation.
* 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:
* IBM Corporation - initial API and implementation
*****************************************************************************/
public class QualifiedStatic {
public static void main(String[] args) {
QualifiedStatic qs= new QualifiedStatic();

10
com.ibm.wala.cast.java.test.data/src/Scoping1.java
View File

@ -1,3 +1,13 @@
/******************************************************************************
* Copyright (c) 2002 - 2008 IBM Corporation.
* 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:
* IBM Corporation - initial API and implementation
*****************************************************************************/
public class Scoping1 {
public static void main(String[] args) {
Scoping1 s1= new Scoping1();

10
com.ibm.wala.cast.java.test.data/src/Scoping2.java
View File

@ -1,3 +1,13 @@
/******************************************************************************
* Copyright (c) 2002 - 2008 IBM Corporation.
* 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:
* IBM Corporation - initial API and implementation
*****************************************************************************/
public class Scoping2 {
public static void main(String[] args) {
Scoping2 s2= new Scoping2();

10
com.ibm.wala.cast.java.test.data/src/Simple1.java
View File

@ -1,3 +1,13 @@
/******************************************************************************
* Copyright (c) 2002 - 2008 IBM Corporation.
* 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:
* IBM Corporation - initial API and implementation
*****************************************************************************/
public class Simple1 {
private int value;
private final float fval = 3.14F;

10
com.ibm.wala.cast.java.test.data/src/SimpleCalls.java
View File

@ -1,3 +1,13 @@
/******************************************************************************
* Copyright (c) 2002 - 2008 IBM Corporation.
* 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:
* IBM Corporation - initial API and implementation
*****************************************************************************/
interface ISimpleCalls {
public void helloWorld();

10
com.ibm.wala.cast.java.test.data/src/StaticInit.java
View File

@ -1,3 +1,13 @@
/******************************************************************************
* Copyright (c) 2002 - 2008 IBM Corporation.
* 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:
* IBM Corporation - initial API and implementation
*****************************************************************************/
public class StaticInit {
static class X {

10
com.ibm.wala.cast.java.test.data/src/StaticNesting.java
View File

@ -1,3 +1,13 @@
/******************************************************************************
* Copyright (c) 2002 - 2008 IBM Corporation.
* 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:
* IBM Corporation - initial API and implementation
*****************************************************************************/
public class StaticNesting {
public static void main(String[] args) {
StaticNesting sn= new StaticNesting();

10
com.ibm.wala.cast.java.test.data/src/Switch1.java
View File

@ -1,3 +1,13 @@
/******************************************************************************
* Copyright (c) 2002 - 2008 IBM Corporation.
* 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:
* IBM Corporation - initial API and implementation
*****************************************************************************/
public class Switch1 {
public static void main(String[] args) {
Switch1 s1= new Switch1();

10
com.ibm.wala.cast.java.test.data/src/Thread1.java
View File

@ -1,3 +1,13 @@
/******************************************************************************
* Copyright (c) 2002 - 2008 IBM Corporation.
* 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:
* IBM Corporation - initial API and implementation
*****************************************************************************/
class R implements Runnable {
public int i;

10
com.ibm.wala.cast.java.test.data/src/TwoClasses.java
View File

@ -1,3 +1,13 @@
/******************************************************************************
* Copyright (c) 2002 - 2008 IBM Corporation.
* 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:
* IBM Corporation - initial API and implementation
*****************************************************************************/
public class TwoClasses {
private int value;
private float fval= 3.14F;

10
com.ibm.wala.cast.java.test.data/src/WelcomeInitializers.java
View File

@ -1,3 +1,13 @@
/******************************************************************************
* Copyright (c) 2002 - 2008 IBM Corporation.
* 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:
* IBM Corporation - initial API and implementation
*****************************************************************************/
public class WelcomeInitializers {
int x;

10
com.ibm.wala.cast.java.test.data/src/WhileTest1.java
View File

@ -1,3 +1,13 @@
/******************************************************************************
* Copyright (c) 2002 - 2008 IBM Corporation.
* 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:
* IBM Corporation - initial API and implementation
*****************************************************************************/
public class WhileTest1 {
public static void main(String[] args) {
WhileTest1 wt1= new WhileTest1();

25
com.ibm.wala.cast.java.test.data/src/fetch_tests.sh
View File

@ -1,25 +0,0 @@
#!/bin/bash
if [[ `uname` = "Linux" ]]; then
REAL_NAME=`realpath $0`
MY_DIR=`dirname $REAL_NAME`
else
MY_DIR=`pwd`
fi
TMP=$MY_DIR/tmp
if [[ ! -e $MY_DIR/JLex/Main.java ]]; then
mkdir -p $TMP
cd $TMP
mkdir JLex
wget -O JLex/Main.java http://www.cs.princeton.edu/~appel/modern/java/JLex/current/Main.java
cp -r JLex $MY_DIR
cd $MY_DIR
rm -rf $TMP
fi