envgen.spec
Class SpecReader

java.lang.Object
  |
  +--envgen.spec.SpecReader

All Implemented Interfaces:

IApproach

public class SpecReader

extends java.lang.Object

implements IApproach

Field Summary

(package private) java.io.StringReader	reader
(package private) java.lang.String	specFileName
(package private) UnitInterface	unitInterface
(package private) UserSpec	userSpec Object that holds information about various symbol tables filled by the parser.

Constructor Summary

SpecReader(java.io.StringReader reader, UnitInterface unitInterface)

SpecReader(java.lang.String specFileName, UnitInterface unitInterface)

Method Summary

Assumptions	acquireAssumptions()
void	readSpec(java.lang.String specFileName) Reads a user specification.
void	readSpec(java.io.StringReader specReader) Reads a user specification.

Methods inherited from class java.lang.Object

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

Field Detail

userSpec

UserSpec userSpec

Object that holds information about various symbol tables filled by the parser.

unitInterface

UnitInterface unitInterface

specFileName

java.lang.String specFileName

reader

java.io.StringReader reader

Constructor Detail

SpecReader

public SpecReader(java.lang.String specFileName,
                  UnitInterface unitInterface)

SpecReader

public SpecReader(java.io.StringReader reader,
                  UnitInterface unitInterface)

Method Detail

acquireAssumptions

public Assumptions acquireAssumptions()

Specified by:

acquireAssumptions in interface IApproach

readSpec

public void readSpec(java.lang.String specFileName)

Reads a user specification. Needs to be done after the tool discovered the interface of the system, so it can check the validity of propositions.

readSpec

public void readSpec(java.io.StringReader specReader)

Reads a user specification. Needs to be done after the tool discovered the interface of the system, so it can check the validity of propositions.