public void compileParser(Trace trace, Strictness strictness) {
SGrammar sGrammar = new SGrammar(this);
OldGrammar oldGrammar = null;
for (Production production : sGrammar.getProductions()) {
if (oldGrammar == null) {
oldGrammar = new OldGrammar(this, production.getName(), production);
}
OldProduction oldProduction = oldGrammar.getProduction(production.getName(), production);
for (Alternative alternative : production.getAlternatives()) {
OldAlternative oldAlternative = oldProduction.addAlternative("", alternative);
for (Element element : alternative.getElements()) {
OldElement oldElement;
if (element instanceof Element.TokenElement) {
Element.TokenElement tokenElement = (Element.TokenElement) element;
oldElement =
oldAlternative.addTokenElement(
this,
element.getName(),
oldGrammar.getToken(tokenElement.getTypeName()),
tokenElement);
} else {
Element.ProductionElement productionElement = (Element.ProductionElement) element;
oldElement =
oldAlternative.addProductionElement(
element.getName(),
oldGrammar.getProduction(
element.getTypeName(), productionElement.getReference()),
productionElement);
}
sGrammar.addOldElement(element, oldElement);
}
}
}
oldGrammar.stabilize();
oldGrammar.computeShortestLengthAndDetectUselessProductions();
sGrammar.setLRAutomaton(new LRAutomaton(oldGrammar, trace));
this.simplifiedGrammar = sGrammar;
}
/*
* (non-Javadoc)
*
* @see jaskell.compiler.JaskellVisitor#visit(jaskell.compiler.core.Alternative)
*/
public Object visit(Alternative a) {
Iterator it = a.getChoices();
while (it.hasNext()) {
Map.Entry entry = (Map.Entry) it.next();
Expression body = (Expression) entry.getValue();
entry.setValue(body.visit(this));
}
return a;
}
/** @see jaskell.compiler.JaskellVisitor#visit(Alternative) */
public Object visit(Alternative a) {
try {
Type tex = (Type) a.getExpression().visit(this);
log.finer("In alternative, type of expression " + a.getExpression() + " is " + tex);
/* set type of bound variable */
LocalBinding lb = a.getBinding();
if (lb != null) lb.setType(tex);
/* visit type of alternatives */
Iterator it = a.getChoices();
Type ptype = tex;
Type btype = null;
while (it.hasNext()) {
Map.Entry entry = (Map.Entry) it.next();
/* checkt type of pattern */
Type pt = (Type) ((Pattern) entry.getKey()).visit(this);
if (ptype == null) ptype = pt;
else ptype = tu.unify(pt, ptype, typeVariablesMap);
log.finer("In alternative, unifying pattern type " + pt + " to " + ptype);
Expression expr = (Expression) entry.getValue();
/* check type of body */
Type bt = (Type) expr.visit(this);
// /* apply substitution with type variables from pattern */
// TypeSubstitution ts = new TypeSubstitution(typeVariablesMap);
// expr.visit(ts);
if (btype == null) btype = bt;
else btype = tu.unify(bt, btype, typeVariablesMap);
log.finer("In alternative, unifying body type " + bt + " to " + btype);
}
/* visit default choice */
Type deft = (Type) a.getWildcard().visit(this);
a.setType(btype);
return btype;
} catch (TypeError te) {
if (te.getLineCol() == null) te.setLineCol(a.getTag("source"));
throw te;
}
}
/**
* Get the decision from the database, given its name
*
* @param name the decision name
*/
public void fromDatabase(String name) {
String findQuery = "";
RationaleDB db = RationaleDB.getHandle();
Connection conn = db.getConnection();
this.name = name;
name = RationaleDBUtil.escape(name);
Statement stmt = null;
ResultSet rs = null;
try {
stmt = conn.createStatement();
findQuery = "SELECT * FROM " + "PATTERNDECISIONS where name = '" + name + "'";
// *** System.out.println(findQuery);
rs = stmt.executeQuery(findQuery);
if (rs.next()) {
id = rs.getInt("id");
description = RationaleDBUtil.decode(rs.getString("description"));
type = (DecisionType) DecisionType.fromString(rs.getString("type"));
devPhase = (Phase) Phase.fromString(rs.getString("phase"));
ptype = RationaleElementType.fromString(rs.getString("ptype"));
parent = rs.getInt("parent");
// artifact = rs.getString("artifact");
// enabled = rs.getBoolean("enabled");
status = (DecisionStatus) DecisionStatus.fromString(rs.getString("status"));
String subdecs = rs.getString("subdecreq");
if (subdecs.compareTo("Yes") == 0) {
alts = false;
} else {
alts = true;
}
try {
int desID = rs.getInt("designer");
designer = new Designer();
designer.fromDatabase(desID);
} catch (SQLException ex) {
designer = null; // nothing...
}
}
rs.close();
// need to read in the rest - recursive routines?
subDecisions.removeAllElements();
alternatives.removeAllElements();
if (!alts) {
Vector<String> decNames = new Vector<String>();
findQuery =
"SELECT name from PATTERNDECISIONS where "
+ "ptype = '"
+ RationaleElementType.DECISION.toString()
+ "' and parent = "
+ new Integer(id).toString();
// *** System.out.println(findQuery2);
rs = stmt.executeQuery(findQuery);
while (rs.next()) {
decNames.add(RationaleDBUtil.decode(rs.getString("name")));
}
Enumeration decs = decNames.elements();
while (decs.hasMoreElements()) {
PatternDecision subDec = new PatternDecision();
subDec.fromDatabase((String) decs.nextElement());
subDecisions.add(subDec);
}
} else {
Vector<String> altNames = new Vector<String>();
findQuery =
"SELECT name from ALTERNATIVES where "
+ "ptype = '"
+ RationaleElementType.DECISION.toString()
+ "' and parent = "
+ new Integer(id).toString();
// *** System.out.println(findQuery2);
rs = stmt.executeQuery(findQuery);
while (rs.next()) {
altNames.add(RationaleDBUtil.decode(rs.getString("name")));
}
Enumeration alts = altNames.elements();
while (alts.hasMoreElements()) {
Alternative alt = new Alternative();
alt.fromDatabase((String) alts.nextElement());
alternatives.add(alt);
}
}
// need to do questions too
Vector<String> questNames = new Vector<String>();
findQuery =
"SELECT name from QUESTIONS where "
+ "ptype = '"
+ RationaleElementType.DECISION.toString()
+ "' and parent = "
+ new Integer(id).toString();
// *** System.out.println(findQuery3);
rs = stmt.executeQuery(findQuery);
while (rs.next()) {
questNames.add(RationaleDBUtil.decode(rs.getString("name")));
}
Enumeration quests = questNames.elements();
questions.removeAllElements();
while (quests.hasMoreElements()) {
Question quest = new Question();
quest.fromDatabase((String) quests.nextElement());
questions.add(quest);
}
// no, not last - need history too
findQuery =
"SELECT * from HISTORY where ptype = 'Decision' and "
+ "parent = "
+ Integer.toString(id);
// *** System.out.println(findQuery5);
rs = stmt.executeQuery(findQuery);
history.removeAllElements();
while (rs.next()) {
History nextH = new History();
nextH.setStatus(rs.getString("status"));
nextH.setReason(RationaleDBUtil.decode(rs.getString("reason")));
nextH.dateStamp = rs.getTimestamp("date");
// nextH.dateStamp = rs.getDate("date");
history.add(nextH);
}
// now, get our constraints
findQuery =
"SELECT * from ConDecRelationships WHERE " + "decision = " + new Integer(id).toString();
rs = stmt.executeQuery(findQuery);
constraints.removeAllElements();
if (rs != null) {
while (rs.next()) {
int ontID = rs.getInt("constr");
Constraint cont = new Constraint();
cont.fromDatabase(ontID);
this.addConstraint(cont);
}
rs.close();
}
// now, candidate patterns
findQuery =
"SELECT * from pattern_decision WHERE parentType= 'Decision' and decisionID=" + this.id;
rs = stmt.executeQuery(findQuery);
if (rs != null) {
while (rs.next()) {
int patternID = rs.getInt("patternID");
Pattern p = new Pattern();
p.fromDatabase(patternID);
this.addCandidatePattern(p);
}
}
} catch (SQLException ex) {
// handle any errors
RationaleDB.reportError(ex, "Error in PatternDecision.fromDatabase", findQuery);
} finally {
RationaleDB.releaseResources(stmt, rs);
}
}
/**
* Save our decision to the database.
*
* @param parent - the parent of the decision
* @param ptype - the parent's type
* @return the unique ID
*/
public int toDatabase(int parent, RationaleElementType ptype) {
RationaleDB db = RationaleDB.getHandle();
Connection conn = db.getConnection();
String updateQuery = "";
int ourid = 0;
RationaleUpdateEvent l_updateEvent;
// find out if this requirement is already in the database
Statement stmt = null;
ResultSet rs = null;
String subsReq = "No";
if (!alts) subsReq = "Yes";
try {
stmt = conn.createStatement();
if (inDatabase(parent, ptype)) {
// set up Designer update string
String updateD;
if (designer == null) updateD = "D.designer = null";
else updateD = "D.designer = " + designer.getID();
updateQuery =
"UPDATE PATTERNDECISIONS D "
+ "SET D.parent = "
+ new Integer(parent).toString()
+ ", D.ptype = '"
+ ptype.toString()
+ "', D.phase = '"
+ devPhase.toString()
+ "', D.description = '"
+ RationaleDBUtil.escape(description)
+ "', D.type = '"
+ type.toString()
+ "', D.name = '"
+ RationaleDBUtil.escape(name)
+ "', D.status = '"
+ status.toString()
+ "', D.subdecreq = '"
+ subsReq
+ "', "
+ updateD
+ " WHERE "
+ "D.id = "
+ this.id
+ " ";
stmt.execute(updateQuery);
l_updateEvent = m_eventGenerator.MakeUpdated();
} else {
if (!fromXML) id = RationaleDB.findAvailableID("PATTERNDECISIONS");
String parentSt;
String parentTSt;
// now, we have determined that the decision is new
if ((this.parent < 0) || (ptype == null)) {
parentSt = "NULL";
parentTSt = "None";
} else {
parentSt = new Integer(this.parent).toString();
parentTSt = ptype.toString();
}
String updateD;
if (designer == null) updateD = "null";
else updateD = new Integer(designer.getID()).toString();
updateQuery =
"INSERT INTO PATTERNDECISIONS "
+ "(id, name, description, type, status, phase, subdecreq, parent, ptype, designer) "
+ "VALUES ("
+ id
+ ", '"
+ RationaleDBUtil.escape(this.name)
+ "', '"
+ RationaleDBUtil.escape(this.description)
+ "', '"
+ this.type.toString()
+ "', '"
+ this.status.toString()
+ "', '"
+ this.devPhase.toString()
+ "', '"
+ subsReq
+ "', "
+ parentSt
+ ", '"
+ parentTSt
+ "', "
+ updateD
+ ")";
stmt.execute(updateQuery);
/*
//Now, associate with pattern.
//Get id first
updateQuery = "SELECT id FROM patterndecisions where name='" +
RationaleDBUtil.escape(this.name) + "'";
rs = stmt.executeQuery(updateQuery);
if (rs.next())
{
ourid = rs.getInt("id");
rs.close();
//We have found out our ID and the insert is a success.
//get association set up.
updateQuery = "INSERT into pattern_decision values (" + parent +
"ourid" + "DECISION)";
}
//And now, we have patternID and patterndecisionID. We can insert into relationship entry
updateQuery = "INSERT INTO pattern_decision values (" + parentPattern + ", " +
ourid + ", " + "'Decision')";
stmt.execute(updateQuery);
*/
l_updateEvent = m_eventGenerator.MakeCreated();
}
// in either case, we want to update any sub-requirements in case
// they are new!
// now, we need to get our ID
updateQuery =
"SELECT id FROM PATTERNDECISIONS where name='" + RationaleDBUtil.escape(this.name) + "'";
rs = stmt.executeQuery(updateQuery);
if (rs.next()) {
ourid = rs.getInt("id");
rs.close();
} else {
ourid = -1;
}
this.id = ourid;
Enumeration alts = alternatives.elements();
while (alts.hasMoreElements()) {
Alternative alt = (Alternative) alts.nextElement();
// System.out.println("Saving alternative from decision");
alt.toDatabase(ourid, RationaleElementType.DECISION);
}
Enumeration decs = subDecisions.elements();
while (decs.hasMoreElements()) {
Decision dec = (Decision) decs.nextElement();
dec.toDatabase(ourid, RationaleElementType.DECISION);
}
Enumeration quests = questions.elements();
while (quests.hasMoreElements()) {
Question quest = (Question) quests.nextElement();
quest.toDatabase(ourid, RationaleElementType.DECISION);
}
// finally, the history
Enumeration hist = history.elements();
while (hist.hasMoreElements()) {
History his = (History) hist.nextElement();
his.toDatabase(ourid, RationaleElementType.DECISION);
}
// need to update our relationships with the constraints
Enumeration conkids = this.constraints.elements();
while (conkids.hasMoreElements()) {
Constraint kid = (Constraint) conkids.nextElement();
// if the parent ID is not zero, then update the parent-child relationship
updateQuery =
"SELECT * from ConDecRelationships WHERE "
+ "constr = "
+ new Integer(kid.getID()).toString()
+ " and decision = "
+ new Integer(ourid).toString();
rs = stmt.executeQuery(updateQuery.toUpperCase());
if (rs.next()) {
rs.close();
} else {
String insertRel =
"INSERT INTO ConDecRelationships (constr, decision) "
+ "VALUES ("
+ new Integer(kid.getID()).toString()
+ ", "
+ new Integer(ourid).toString()
+ ")";
System.out.println(insertRel.toUpperCase());
stmt.execute(insertRel);
}
kid.toDatabase(ourid);
} // checking parent
m_eventGenerator.Broadcast(l_updateEvent);
} catch (SQLException ex) {
// handle any errors
RationaleDB.reportError(ex, "Error in PatternDecision.toDatabase", updateQuery);
} finally {
RationaleDB.releaseResources(stmt, rs);
}
return ourid;
}