Changeset 2044

Show
Ignore:
Timestamp:
06/21/08 07:53:42 (4 months ago)
Author:
sukyoungryu
Message:

[readme] Described the new parser_tests directory.

Files:

Legend:

Unmodified
Added
Removed
Modified
Copied
Moved

  • trunk/README.txt

    r1972 r2044  
    178178Import this project into Eclipse. 
    179179 
    180 There exists a file called ${FORTRESS_HOME}/DOTCLASSPATH in  
    181 the repository. Copy this file to either ${FORTRESS_HOME}/.classpath.  
     180There exists a file called ${FORTRESS_HOME}/DOTCLASSPATH in 
     181the repository. Copy this file to either ${FORTRESS_HOME}/.classpath. 
    182182If you are using the Java 5.0 jdk under Windows or Linux, you will need 
    183183to add an entry to ${JAVA_HOME}/lib/tools.jar to the classpath. 
    …… 
    226226are prefixed with DXX. 
    227227 
     228The directory ProjectFortress/parser_tests/ contains some Fortress 
     229programs to test the parser.  Test programs that are supposed to 
     230fail to be parsed have names that are prefixed with XXX. 
    228231 
    229232The directory ProjectFortress/not_passing_yet/ contains some Fortress 
    …… 
    231234file containing an error that should be detected, but it isn't, that 
    232235would be contained in ProjectFortress/not_passing_yet with a name 
    233 prefixed with XXX. 
     236prefixed with XXX.  Test programs in this directory should pass 
     237the parser. 
    234238 
    235239