All Packages  Class Hierarchy  This Package  Previous  Next  Index

Class javaParse.SaveText 

java.lang.Object
   |
   +----javaParse.SaveText
public class SaveText
extends Object
This class saves the Strings representing a Grammar to a .gmr file as selected by the user.

Constructor Index

o SaveText()
The filename if set to a default value of "Untitled" and will save to the current directory
o SaveText(String)

Method Index

o getFilename()
o save(String[])
o saveAs(String[])

Constructors

o SaveText 
 public SaveText()
The filename if set to a default value of "Untitled" and will save to the current directory

o SaveText 
 public SaveText(String path)
Parameters:
path - where the file exists with it's name at the end after the current directory

Methods

o getFilename 
 public String getFilename()
Returns:
s just the fileName without the full path
o save 
 public boolean save(String prods[])
Parameters:
prods - the productions that will be added to the Grammar may or may not be syntatically correct
Returns:
true if the prods have been saved
o saveAs 
 public boolean saveAs(String prods[])
Parameters:
prods - the productions to be saved in a file
Returns:
true if saved as fileName selected by user 
All Packages  Class Hierarchy  This Package  Previous  Next  Index