EmptySourceFile.java

Go to the documentation of this file.

//                                                                      //
//  EmptySourceFile.java                                                //
//                                                                      //
//  experiment.source.EmptySourceFile -- an empty source file           //
//  Last edited: January 29, 2001 at 12:21                              //
//                                                                      //
//  (c) Copyright 2002 Rice University. All rights reserved.            //
//                                                                      //




package edu.rice.cs.hpc.data.experiment.source;


import edu.rice.cs.hpc.data.experiment.source.SourceFile;

import java.io.ByteArrayInputStream;
import java.io.File;
import java.io.InputStream;




//  CLASS EMPTY-SOURCE-FILE                                             //

public class EmptySourceFile implements SourceFile
{


//  INITIALIZATION                                                      //




/*************************************************************************
 *  Creates an empty source file.
 ************************************************************************/
    
public EmptySourceFile()
{
    super();
}




//  ACCESS TO CONTENTS                                                  //


/*************************************************************************
 *  Returns the source file's filename.
 ************************************************************************/
    
public File getFilename()
{
    return null;
}

/*************************************************************************
 *  Returns the source file's user visible name.
 ************************************************************************/
    
public String getName()
{
    return "";
}




/*************************************************************************
 *  Returns the number of lines in the source file.
 ************************************************************************/
    
public int getLineCount()
{
    return 0;
}




/*************************************************************************
 *  Returns an open input stream for reading the source file's contents.
 *
 *  In this class an empty stream is returned.
 *
 ************************************************************************/
    
public InputStream getStream()
{
    return new ByteArrayInputStream(new byte[0]);
}




//  AVAILABILITY OF SOURCE FILE CONTENTS                                //




/*************************************************************************
 *  Returns whether the source file can be located and read.
 ************************************************************************/
    
public boolean isAvailable()
{
    return true;
}


public void setIsText(boolean bi)
{
   ;
}

/*************************************************************************
 *  Returns whether this source file has a line with the given line number.
 ************************************************************************/
    
public boolean hasLine(int lineNumber)
{
    return false;
}


/*************************************************************************
 *  Returns whether the source file is text (not load module/binary)
 ************************************************************************/

public boolean isText()
{
        return true;
}




public int getFileID() {
    // TODO Auto-generated method stub
    return 0;
}

}