Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- Buildfile: /home/gayan/git/javapathfinder/jpf-core/build.xml
- clean:
- [delete] Deleting directory /home/gayan/git/javapathfinder/jpf-core/build
- -cond-clean:
- clean:
- -init:
- [mkdir] Created dir: /home/gayan/git/javapathfinder/jpf-core/build
- -compile-annotations:
- [mkdir] Created dir: /home/gayan/git/javapathfinder/jpf-core/build/annotations
- [javac] Compiling 10 source files to /home/gayan/git/javapathfinder/jpf-core/build/annotations
- -compile-main:
- [mkdir] Created dir: /home/gayan/git/javapathfinder/jpf-core/build/main
- [javac] Compiling 708 source files to /home/gayan/git/javapathfinder/jpf-core/build/main
- [javac] Note: Some input files use or override a deprecated API.
- [javac] Note: Recompile with -Xlint:deprecation for details.
- [javac] Note: Some input files use unchecked or unsafe operations.
- [javac] Note: Recompile with -Xlint:unchecked for details.
- -compile-peers:
- [mkdir] Created dir: /home/gayan/git/javapathfinder/jpf-core/build/peers
- [javac] Compiling 79 source files to /home/gayan/git/javapathfinder/jpf-core/build/peers
- [javac] /home/gayan/git/javapathfinder/jpf-core/src/peers/gov/nasa/jpf/vm/JPF_java_util_Random.java:32: warning: Unsafe is internal proprietary API and may be removed in a future release
- [javac] import sun.misc.Unsafe;
- [javac] ^
- [javac] /home/gayan/git/javapathfinder/jpf-core/src/peers/gov/nasa/jpf/vm/JPF_java_util_Random.java:93: warning: Unsafe is internal proprietary API and may be removed in a future release
- [javac] private static Unsafe unsafe;
- [javac] ^
- [javac] /home/gayan/git/javapathfinder/jpf-core/src/peers/gov/nasa/jpf/vm/JPF_java_util_Random.java:99: warning: Unsafe is internal proprietary API and may be removed in a future release
- [javac] Field singletonField = Unsafe.class.getDeclaredField("theUnsafe");
- [javac] ^
- [javac] /home/gayan/git/javapathfinder/jpf-core/src/peers/gov/nasa/jpf/vm/JPF_java_util_Random.java:101: warning: Unsafe is internal proprietary API and may be removed in a future release
- [javac] unsafe = (Unsafe)singletonField.get(null);
- [javac] ^
- [javac] Note: Some input files use or override a deprecated API.
- [javac] Note: Recompile with -Xlint:deprecation for details.
- [javac] 4 warnings
- -compile-classes:
- [mkdir] Created dir: /home/gayan/git/javapathfinder/jpf-core/build/classes
- [javac] Compiling 84 source files to /home/gayan/git/javapathfinder/jpf-core/build/classes
- [javac] /home/gayan/git/javapathfinder/jpf-core/src/classes/java/io/File.java:18: error: package exists in another module: java.base
- [javac] package java.io;
- [javac] ^
- [javac] /home/gayan/git/javapathfinder/jpf-core/src/classes/java/io/FileDescriptor.java:19: error: package exists in another module: java.base
- [javac] package java.io;
- [javac] ^
- [javac] /home/gayan/git/javapathfinder/jpf-core/src/classes/java/io/FileInputStream.java:19: error: package exists in another module: java.base
- [javac] package java.io;
- [javac] ^
- [javac] /home/gayan/git/javapathfinder/jpf-core/src/classes/java/io/FileOutputStream.java:18: error: package exists in another module: java.base
- [javac] package java.io;
- [javac] ^
- [javac] /home/gayan/git/javapathfinder/jpf-core/src/classes/java/io/InputStreamReader.java:19: error: package exists in another module: java.base
- [javac] package java.io;
- [javac] ^
- [javac] /home/gayan/git/javapathfinder/jpf-core/src/classes/java/io/OutputStreamWriter.java:18: error: package exists in another module: java.base
- [javac] package java.io;
- [javac] ^
- [javac] /home/gayan/git/javapathfinder/jpf-core/src/classes/java/io/RandomAccessFile.java:18: error: package exists in another module: java.base
- [javac] package java.io;
- [javac] ^
- [javac] /home/gayan/git/javapathfinder/jpf-core/src/classes/java/lang/Class.java:18: error: package exists in another module: java.base
- [javac] package java.lang;
- [javac] ^
- [javac] /home/gayan/git/javapathfinder/jpf-core/src/classes/java/lang/ClassLoader.java:18: error: package exists in another module: java.base
- [javac] package java.lang;
- [javac] ^
- [javac] /home/gayan/git/javapathfinder/jpf-core/src/classes/java/lang/InheritableThreadLocal.java:19: error: package exists in another module: java.base
- [javac] package java.lang;
- [javac] ^
- [javac] /home/gayan/git/javapathfinder/jpf-core/src/classes/java/lang/Object.java:18: error: package exists in another module: java.base
- [javac] package java.lang;
- [javac] ^
- [javac] /home/gayan/git/javapathfinder/jpf-core/src/classes/java/lang/StackTraceElement.java:18: error: package exists in another module: java.base
- [javac] package java.lang;
- [javac] ^
- [javac] /home/gayan/git/javapathfinder/jpf-core/src/classes/java/lang/String.java:19: error: package exists in another module: java.base
- [javac] package java.lang;
- [javac] ^
- [javac] /home/gayan/git/javapathfinder/jpf-core/src/classes/java/lang/System.java:18: error: package exists in another module: java.base
- [javac] package java.lang;
- [javac] ^
- [javac] /home/gayan/git/javapathfinder/jpf-core/src/classes/java/lang/Thread.java:18: error: package exists in another module: java.base
- [javac] package java.lang;
- [javac] ^
- [javac] /home/gayan/git/javapathfinder/jpf-core/src/classes/java/lang/ThreadGroup.java:19: error: package exists in another module: java.base
- [javac] package java.lang;
- [javac] ^
- [javac] /home/gayan/git/javapathfinder/jpf-core/src/classes/java/lang/ThreadLocal.java:18: error: package exists in another module: java.base
- [javac] package java.lang;
- [javac] ^
- [javac] /home/gayan/git/javapathfinder/jpf-core/src/classes/java/lang/Throwable.java:19: error: package exists in another module: java.base
- [javac] package java.lang;
- [javac] ^
- [javac] /home/gayan/git/javapathfinder/jpf-core/src/classes/java/lang/annotation/Inherited.java:19: error: package exists in another module: java.base
- [javac] package java.lang.annotation;
- [javac] ^
- [javac] /home/gayan/git/javapathfinder/jpf-core/src/classes/java/lang/annotation/Retention.java:19: error: package exists in another module: java.base
- [javac] package java.lang.annotation;
- [javac] ^
- [javac] /home/gayan/git/javapathfinder/jpf-core/src/classes/java/lang/ref/Reference.java:18: error: package exists in another module: java.base
- [javac] package java.lang.ref;
- [javac] ^
- [javac] /home/gayan/git/javapathfinder/jpf-core/src/classes/java/lang/ref/ReferenceQueue.java:18: error: package exists in another module: java.base
- [javac] package java.lang.ref;
- [javac] ^
- [javac] /home/gayan/git/javapathfinder/jpf-core/src/classes/java/lang/ref/WeakReference.java:18: error: package exists in another module: java.base
- [javac] package java.lang.ref;
- [javac] ^
- [javac] /home/gayan/git/javapathfinder/jpf-core/src/classes/java/lang/reflect/AccessibleObject.java:18: error: package exists in another module: java.base
- [javac] package java.lang.reflect;
- [javac] ^
- [javac] /home/gayan/git/javapathfinder/jpf-core/src/classes/java/lang/reflect/Constructor.java:18: error: package exists in another module: java.base
- [javac] package java.lang.reflect;
- [javac] ^
- [javac] /home/gayan/git/javapathfinder/jpf-core/src/classes/java/lang/reflect/Field.java:18: error: package exists in another module: java.base
- [javac] package java.lang.reflect;
- [javac] ^
- [javac] /home/gayan/git/javapathfinder/jpf-core/src/classes/java/lang/reflect/InvocationTargetException.java:19: error: package exists in another module: java.base
- [javac] package java.lang.reflect;
- [javac] ^
- [javac] /home/gayan/git/javapathfinder/jpf-core/src/classes/java/lang/reflect/Method.java:18: error: package exists in another module: java.base
- [javac] package java.lang.reflect;
- [javac] ^
- [javac] /home/gayan/git/javapathfinder/jpf-core/src/classes/java/net/URLClassLoader.java:18: error: package exists in another module: java.base
- [javac] package java.net;
- [javac] ^
- [javac] /home/gayan/git/javapathfinder/jpf-core/src/classes/java/nio/Buffer.java:18: error: package exists in another module: java.base
- [javac] package java.nio;
- [javac] ^
- [javac] /home/gayan/git/javapathfinder/jpf-core/src/classes/java/nio/BufferUnderflowException.java:18: error: package exists in another module: java.base
- [javac] package java.nio;
- [javac] ^
- [javac] /home/gayan/git/javapathfinder/jpf-core/src/classes/java/nio/ByteBuffer.java:18: error: package exists in another module: java.base
- [javac] package java.nio;
- [javac] ^
- [javac] /home/gayan/git/javapathfinder/jpf-core/src/classes/java/nio/ByteOrder.java:18: error: package exists in another module: java.base
- [javac] package java.nio;
- [javac] ^
- [javac] /home/gayan/git/javapathfinder/jpf-core/src/classes/java/nio/channels/FileChannel.java:18: error: package exists in another module: java.base
- [javac] package java.nio.channels;
- [javac] ^
- [javac] /home/gayan/git/javapathfinder/jpf-core/src/classes/java/nio/package-info.java:24: error: package exists in another module: java.base
- [javac] package java.nio;
- [javac] ^
- [javac] /home/gayan/git/javapathfinder/jpf-core/src/classes/java/security/AccessController.java:18: error: package exists in another module: java.base
- [javac] package java.security;
- [javac] ^
- [javac] /home/gayan/git/javapathfinder/jpf-core/src/classes/java/security/MessageDigest.java:19: error: package exists in another module: java.base
- [javac] package java.security;
- [javac] ^
- [javac] /home/gayan/git/javapathfinder/jpf-core/src/classes/java/security/SecureClassLoader.java:19: error: package exists in another module: java.base
- [javac] package java.security;
- [javac] ^
- [javac] /home/gayan/git/javapathfinder/jpf-core/src/classes/java/text/DecimalFormat.java:19: error: package exists in another module: java.base
- [javac] package java.text;
- [javac] ^
- [javac] /home/gayan/git/javapathfinder/jpf-core/src/classes/java/text/Format.java:19: error: package exists in another module: java.base
- [javac] package java.text;
- [javac] ^
- [javac] /home/gayan/git/javapathfinder/jpf-core/src/classes/java/text/NumberFormat.java:19: error: package exists in another module: java.base
- [javac] package java.text;
- [javac] ^
- [javac] /home/gayan/git/javapathfinder/jpf-core/src/classes/java/text/SimpleDateFormat.java:19: error: package exists in another module: java.base
- [javac] package java.text;
- [javac] ^
- [javac] /home/gayan/git/javapathfinder/jpf-core/src/classes/java/util/Random.java:19: error: package exists in another module: java.base
- [javac] package java.util;
- [javac] ^
- [javac] /home/gayan/git/javapathfinder/jpf-core/src/classes/java/util/TimeZone.java:18: error: package exists in another module: java.base
- [javac] package java.util;
- [javac] ^
- [javac] /home/gayan/git/javapathfinder/jpf-core/src/classes/java/util/concurrent/BrokenBarrierException.java:18: error: package exists in another module: java.base
- [javac] package java.util.concurrent;
- [javac] ^
- [javac] /home/gayan/git/javapathfinder/jpf-core/src/classes/java/util/concurrent/CyclicBarrier.java:18: error: package exists in another module: java.base
- [javac] package java.util.concurrent;
- [javac] ^
- [javac] /home/gayan/git/javapathfinder/jpf-core/src/classes/java/util/concurrent/Exchanger.java:19: error: package exists in another module: java.base
- [javac] package java.util.concurrent;
- [javac] ^
- [javac] /home/gayan/git/javapathfinder/jpf-core/src/classes/java/util/concurrent/atomic/AtomicIntegerArray.java:19: error: package exists in another module: java.base
- [javac] package java.util.concurrent.atomic;
- [javac] ^
- [javac] /home/gayan/git/javapathfinder/jpf-core/src/classes/java/util/concurrent/atomic/AtomicIntegerFieldUpdater.java:19: error: package exists in another module: java.base
- [javac] package java.util.concurrent.atomic;
- [javac] ^
- [javac] /home/gayan/git/javapathfinder/jpf-core/src/classes/java/util/concurrent/atomic/AtomicLongArray.java:19: error: package exists in another module: java.base
- [javac] package java.util.concurrent.atomic;
- [javac] ^
- [javac] /home/gayan/git/javapathfinder/jpf-core/src/classes/java/util/concurrent/atomic/AtomicLongFieldUpdater.java:19: error: package exists in another module: java.base
- [javac] package java.util.concurrent.atomic;
- [javac] ^
- [javac] /home/gayan/git/javapathfinder/jpf-core/src/classes/java/util/concurrent/atomic/AtomicReferenceArray.java:19: error: package exists in another module: java.base
- [javac] package java.util.concurrent.atomic;
- [javac] ^
- [javac] /home/gayan/git/javapathfinder/jpf-core/src/classes/java/util/concurrent/atomic/AtomicReferenceFieldUpdater.java:19: error: package exists in another module: java.base
- [javac] package java.util.concurrent.atomic;
- [javac] ^
- [javac] /home/gayan/git/javapathfinder/jpf-core/src/classes/java/util/function/Supplier.java:18: error: package exists in another module: java.base
- [javac] package java.util.function;
- [javac] ^
- [javac] /home/gayan/git/javapathfinder/jpf-core/src/classes/java/util/logging/FileHandler.java:19: error: package exists in another module: java.logging
- [javac] package java.util.logging;
- [javac] ^
- [javac] /home/gayan/git/javapathfinder/jpf-core/src/classes/java/util/regex/Matcher.java:19: error: package exists in another module: java.base
- [javac] package java.util.regex;
- [javac] ^
- [javac] /home/gayan/git/javapathfinder/jpf-core/src/classes/java/util/regex/Pattern.java:19: error: package exists in another module: java.base
- [javac] package java.util.regex;
- [javac] ^
- [javac] /home/gayan/git/javapathfinder/jpf-core/src/classes/sun/misc/AtomicLong.java:18: error: package exists in another module: jdk.unsupported
- [javac] package sun.misc;
- [javac] ^
- [javac] /home/gayan/git/javapathfinder/jpf-core/src/classes/sun/misc/JavaAWTAccess.java:19: error: package exists in another module: jdk.unsupported
- [javac] package sun.misc;
- [javac] ^
- [javac] /home/gayan/git/javapathfinder/jpf-core/src/classes/sun/misc/JavaIOAccess.java:19: error: package exists in another module: jdk.unsupported
- [javac] package sun.misc;
- [javac] ^
- [javac] /home/gayan/git/javapathfinder/jpf-core/src/classes/sun/misc/JavaIODeleteOnExitAccess.java:19: error: package exists in another module: jdk.unsupported
- [javac] package sun.misc;
- [javac] ^
- [javac] /home/gayan/git/javapathfinder/jpf-core/src/classes/sun/misc/JavaIOFileDescriptorAccess.java:19: error: package exists in another module: jdk.unsupported
- [javac] package sun.misc;
- [javac] ^
- [javac] /home/gayan/git/javapathfinder/jpf-core/src/classes/sun/misc/JavaLangAccess.java:19: error: package exists in another module: jdk.unsupported
- [javac] package sun.misc;
- [javac] ^
- [javac] /home/gayan/git/javapathfinder/jpf-core/src/classes/sun/misc/JavaNetAccess.java:19: error: package exists in another module: jdk.unsupported
- [javac] package sun.misc;
- [javac] ^
- [javac] /home/gayan/git/javapathfinder/jpf-core/src/classes/sun/misc/JavaNioAccess.java:18: error: package exists in another module: jdk.unsupported
- [javac] package sun.misc;
- [javac] ^
- [javac] /home/gayan/git/javapathfinder/jpf-core/src/classes/sun/misc/SharedSecrets.java:18: error: package exists in another module: jdk.unsupported
- [javac] package sun.misc;
- [javac] ^
- [javac] /home/gayan/git/javapathfinder/jpf-core/src/classes/sun/misc/Unsafe.java:18: error: package exists in another module: jdk.unsupported
- [javac] package sun.misc;
- [javac] ^
- [javac] /home/gayan/git/javapathfinder/jpf-core/src/classes/sun/reflect/ConstantPool.java:19: error: package exists in another module: jdk.unsupported
- [javac] package sun.reflect;
- [javac] ^
- [javac] /home/gayan/git/javapathfinder/jpf-core/src/classes/gov/nasa/jpf/SerializationConstructor.java:23: error: cannot inherit from final Constructor
- [javac] public class SerializationConstructor<T> extends Constructor<T> {
- [javac] ^
- [javac] /home/gayan/git/javapathfinder/jpf-core/src/classes/java/io/File.java:149: error: cannot find symbol
- [javac] public String[] list(FilenameFilter fnf) { return null; }
- [javac] ^
- [javac] symbol: class FilenameFilter
- [javac] location: class File
- [javac] /home/gayan/git/javapathfinder/jpf-core/src/classes/java/io/File.java:151: error: cannot find symbol
- [javac] public File[] listFiles(FilenameFilter fnf) { return null; }
- [javac] ^
- [javac] symbol: class FilenameFilter
- [javac] location: class File
- [javac] /home/gayan/git/javapathfinder/jpf-core/src/classes/java/io/File.java:152: error: cannot find symbol
- [javac] public File[] listFiles(FileFilter ff) { return null; }
- [javac] ^
- [javac] symbol: class FileFilter
- [javac] location: class File
- [javac] /home/gayan/git/javapathfinder/jpf-core/src/classes/java/io/File.java:161: error: cannot find symbol
- [javac] public static File createTempFile(String prefix, String suffix, File dir) throws IOException {
- [javac] ^
- [javac] symbol: class IOException
- [javac] location: class File
- [javac] /home/gayan/git/javapathfinder/jpf-core/src/classes/java/io/File.java:186: error: cannot find symbol
- [javac] public static File createTempFile(String prefix, String suffix) throws IOException {
- [javac] ^
- [javac] symbol: class IOException
- [javac] location: class File
- [javac] /home/gayan/git/javapathfinder/jpf-core/src/classes/java/io/FileDescriptor.java:53: error: cannot find symbol
- [javac] FileDescriptor (String fname, int mode) throws IOException, FileNotFoundException {
- [javac] ^
- [javac] symbol: class IOException
- [javac] location: class FileDescriptor
- [javac] /home/gayan/git/javapathfinder/jpf-core/src/classes/java/io/FileDescriptor.java:53: error: cannot find symbol
- [javac] FileDescriptor (String fname, int mode) throws IOException, FileNotFoundException {
- [javac] ^
- [javac] symbol: class FileNotFoundException
- [javac] location: class FileDescriptor
- [javac] /home/gayan/git/javapathfinder/jpf-core/src/classes/java/io/FileDescriptor.java:70: error: cannot find symbol
- [javac] public void close () throws IOException {
- [javac] ^
- [javac] symbol: class IOException
- [javac] location: class FileDescriptor
- [javac] /home/gayan/git/javapathfinder/jpf-core/src/classes/java/io/FileDescriptor.java:76: error: cannot find symbol
- [javac] native int open (String fname, int mode) throws IOException;
- [javac] ^
- [javac] symbol: class IOException
- [javac] location: class FileDescriptor
- [javac] /home/gayan/git/javapathfinder/jpf-core/src/classes/java/io/FileDescriptor.java:78: error: cannot find symbol
- [javac] native int read () throws IOException;
- [javac] ^
- [javac] symbol: class IOException
- [javac] location: class FileDescriptor
- [javac] /home/gayan/git/javapathfinder/jpf-core/src/classes/java/io/FileDescriptor.java:80: error: cannot find symbol
- [javac] native long skip(long n) throws IOException;
- [javac] ^
- [javac] symbol: class IOException
- [javac] location: class FileDescriptor
- [javac] /home/gayan/git/javapathfinder/jpf-core/src/classes/java/io/FileDescriptor.java:81: error: cannot find symbol
- [javac] native int available () throws IOException;
- [javac] ^
- [javac] symbol: class IOException
- [javac] location: class FileDescriptor
- [javac] /home/gayan/git/javapathfinder/jpf-core/src/classes/java/io/FileDescriptor.java:82: error: cannot find symbol
- [javac] native void close0 () throws IOException;
- [javac] ^
- [javac] symbol: class IOException
- [javac] location: class FileDescriptor
- [javac] /home/gayan/git/javapathfinder/jpf-core/src/classes/java/io/FileDescriptor.java:84: error: cannot find symbol
- [javac] native void write (int b) throws IOException;
- [javac] ^
- [javac] symbol: class IOException
- [javac] location: class FileDescriptor
- [javac] /home/gayan/git/javapathfinder/jpf-core/src/classes/java/io/FileInputStream.java:27: error: cannot find symbol
- [javac] public class FileInputStream extends InputStream {
- [javac] ^
- [javac] symbol: class InputStream
- [javac] /home/gayan/git/javapathfinder/jpf-core/src/classes/java/io/FileInputStream.java:32: error: cannot find symbol
- [javac] public FileInputStream (String fname) throws FileNotFoundException {
- [javac] ^
- [javac] symbol: class FileNotFoundException
- [javac] location: class FileInputStream
- [javac] /home/gayan/git/javapathfinder/jpf-core/src/classes/java/io/FileInputStream.java:40: error: cannot find symbol
- [javac] public FileInputStream (File file) throws FileNotFoundException {
- [javac] ^
- [javac] symbol: class FileNotFoundException
- [javac] location: class FileInputStream
- [javac] /home/gayan/git/javapathfinder/jpf-core/src/classes/java/io/FileInputStream.java:49: error: cannot find symbol
- [javac] public int read(byte b[]) throws IOException {
- [javac] ^
- [javac] symbol: class IOException
- [javac] location: class FileInputStream
- [javac] /home/gayan/git/javapathfinder/jpf-core/src/classes/java/io/FileInputStream.java:68: error: cannot find symbol
- [javac] public int read() throws IOException {
- [javac] ^
- [javac] symbol: class IOException
- [javac] location: class FileInputStream
- [javac] /home/gayan/git/javapathfinder/jpf-core/src/classes/java/io/FileInputStream.java:73: error: cannot find symbol
- [javac] public int read(byte b[], int off, int len) throws IOException {
- [javac] ^
- [javac] symbol: class IOException
- [javac] location: class FileInputStream
- [javac] /home/gayan/git/javapathfinder/jpf-core/src/classes/java/io/FileInputStream.java:78: error: cannot find symbol
- [javac] public long skip(long n) throws IOException {
- [javac] ^
- [javac] symbol: class IOException
- [javac] location: class FileInputStream
- [javac] /home/gayan/git/javapathfinder/jpf-core/src/classes/java/io/FileInputStream.java:83: error: cannot find symbol
- [javac] public int available () throws IOException {
- [javac] ^
- [javac] symbol: class IOException
- [javac] location: class FileInputStream
- [javac] /home/gayan/git/javapathfinder/jpf-core/src/classes/java/io/FileInputStream.java:88: error: cannot find symbol
- [javac] public void close () throws IOException {
- [javac] ^
- [javac] symbol: class IOException
- [javac] location: class FileInputStream
- [javac] /home/gayan/git/javapathfinder/jpf-core/src/classes/java/io/FileOutputStream.java:22: error: cannot find symbol
- [javac] public class FileOutputStream extends OutputStream {
- [javac] ^
- [javac] symbol: class OutputStream
- [javac] /home/gayan/git/javapathfinder/jpf-core/src/classes/java/io/FileOutputStream.java:27: error: cannot find symbol
- [javac] public FileOutputStream (String fname) throws FileNotFoundException {
- [javac] ^
- [javac] symbol: class FileNotFoundException
- [javac] location: class FileOutputStream
- [javac] /home/gayan/git/javapathfinder/jpf-core/src/classes/java/io/FileOutputStream.java:35: error: cannot find symbol
- [javac] public FileOutputStream (File file) throws FileNotFoundException {
- [javac] ^
- [javac] symbol: class FileNotFoundException
- [javac] location: class FileOutputStream
- [javac] /home/gayan/git/javapathfinder/jpf-core/src/classes/java/io/FileOutputStream.java:62: error: cannot find symbol
- [javac] public void write (int b) throws IOException {
- [javac] ^
- [javac] symbol: class IOException
- [javac] location: class FileOutputStream
- [javac] /home/gayan/git/javapathfinder/jpf-core/src/classes/java/io/FileOutputStream.java:67: error: cannot find symbol
- [javac] public void write (byte[] buf, int off, int len) throws IOException {
- [javac] ^
- [javac] symbol: class IOException
- [javac] location: class FileOutputStream
- [javac] /home/gayan/git/javapathfinder/jpf-core/src/classes/java/io/FileOutputStream.java:72: error: cannot find symbol
- [javac] public void close () throws IOException {
- [javac] ^
- [javac] symbol: class IOException
- [javac] location: class FileOutputStream
- [javac] /home/gayan/git/javapathfinder/jpf-core/src/classes/java/io/FileOutputStream.java:77: error: cannot find symbol
- [javac] public void flush () throws IOException {
- [javac] ^
- [javac] symbol: class IOException
- [javac] location: class FileOutputStream
- [javac] /home/gayan/git/javapathfinder/jpf-core/src/classes/java/io/InputStreamReader.java:25: error: cannot find symbol
- [javac] public class InputStreamReader extends Reader {
- [javac] ^
- [javac] symbol: class Reader
- [javac] 100 errors
Advertisement
Add Comment
Please, Sign In to add comment