keel.Algorithms.Instance_Generation.utilities

Class KeelFile

java.lang.Object

keel.Algorithms.Instance_Generation.utilities.KeelFile

public class KeelFile
extends java.lang.Object

Keel File function

Author:

diegoj

Constructor Summary

Constructors

Constructor and Description
KeelFile()

Method Summary

Modifier and Type	Method and Description
static void	append(java.lang.String nombreFichero, java.lang.String cadena) Append text to a Keel-style file.
static void	copy(java.lang.String fromFileName, java.lang.String toFileName) Copy a Keel-style file to another.
static java.lang.String	read(java.lang.String nombreFichero) Read a Keel-style file.
static void	write(java.lang.String nombreFichero, java.lang.String cadena) Write in Keel-style a file.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

KeelFile

public KeelFile()

Method Detail

read

public static java.lang.String read(java.lang.String nombreFichero)

Read a Keel-style file.

Parameters:

nombreFichero - Name of the file.

Returns:

String text of the readed file.

write

public static void write(java.lang.String nombreFichero,
                         java.lang.String cadena)

Write in Keel-style a file.

Parameters:

nombreFichero - Name of the file to be writed.

cadena - Text to be written.

append

public static void append(java.lang.String nombreFichero,
                          java.lang.String cadena)

Append text to a Keel-style file.

Parameters:

nombreFichero - Name of the file.

cadena - text of the appended file.

copy

public static void copy(java.lang.String fromFileName,
                        java.lang.String toFileName)
                 throws java.io.IOException

Copy a Keel-style file to another.

Parameters:

fromFileName - Name of the original file.

toFileName - Name of the destination file.

Throws:

java.io.IOException - Can not read the files.