org.fulib.scenarios.visitor.preprocess.Grouper Maven / Gradle / Ivy
Go to download
Show more of this group Show more artifacts with this name
Show all versions of fulibScenarios Show documentation
Show all versions of fulibScenarios Show documentation
A compiler for textual example scenarios.
The newest version!
package org.fulib.scenarios.visitor.preprocess;
import org.fulib.scenarios.ast.CompilationContext;
import org.fulib.scenarios.ast.Scenario;
import org.fulib.scenarios.ast.ScenarioFile;
import org.fulib.scenarios.ast.ScenarioGroup;
import org.fulib.scenarios.ast.decl.Name;
import org.fulib.scenarios.ast.expr.call.CallExpr;
import org.fulib.scenarios.ast.sentence.*;
import org.fulib.scenarios.diagnostic.Marker;
import org.fulib.scenarios.diagnostic.Position;
import java.util.ArrayList;
import java.util.List;
import static org.fulib.scenarios.diagnostic.Marker.error;
import static org.fulib.scenarios.diagnostic.Marker.note;
public enum Grouper implements CompilationContext.Visitor, ScenarioGroup.Visitor,
ScenarioFile.Visitor, Scenario.Visitor,
Sentence.Visitor
{
INSTANCE;
private static final String ACTOR_KEY = "actor:";
private static final String ACTOR_VALUE_TEST = "";
private static final String ACTOR_TEST = ACTOR_KEY + ACTOR_VALUE_TEST + ",";
// =============== Static Methods ===============
private static String actorKey(Name name)
{
return name == null ? ACTOR_TEST : actorKey(name.getValue());
}
private static String actorKey(String name)
{
return ACTOR_KEY + name + ",";
}
// =============== Methods ===============
// --------------- CompilationContext.Visitor ---------------
@Override
public Object visit(CompilationContext compilationContext, Object par)
{
// no inter-group references, we can parallelize
compilationContext.getGroups().values().parallelStream().forEach(it -> it.accept(this, null));
return null;
}
// --------------- ScenarioGroup.Visitor ---------------
@Override
public Object visit(ScenarioGroup scenarioGroup, Object par)
{
for (final ScenarioFile file : scenarioGroup.getFiles().values())
{
file.accept(this, par);
}
return null;
}
// --------------- ScenarioFile.Visitor ---------------
@Override
public Object visit(ScenarioFile scenarioFile, Object par)
{
for (final Scenario scenario : scenarioFile.getScenarios())
{
scenario.accept(this, par);
}
return null;
}
// --------------- Scenario.Visitor ---------------
@Override
public Object visit(Scenario scenario, Object par)
{
final TopFrame top = new TopFrame();
top.file = scenario.getFile();
top.key = ACTOR_TEST;
top.target = new ArrayList<>();
/*final Frame result = */
scenario.getBody().accept(this, top);
scenario.getBody().setItems(top.target);
return null;
}
// --------------- Sentence.Visitor ---------------
@Override
public Frame visit(Sentence sentence, Frame par)
{
return par.add(sentence);
}
@Override
public Frame visit(SentenceList sentenceList, Frame par)
{
for (final Sentence item : sentenceList.getItems())
{
par = item.accept(this, par);
}
return par;
}
@Override
public Frame visit(SectionSentence sectionSentence, Frame par)
{
return par.add(sectionSentence);
}
@Override
public Frame visit(ThereSentence thereSentence, Frame par)
{
return par.add(null, ACTOR_TEST, thereSentence);
}
@Override
public Frame visit(ExpectSentence expectSentence, Frame par)
{
return par.add(null, ACTOR_TEST, expectSentence);
}
@Override
public Frame visit(DiagramSentence diagramSentence, Frame par)
{
return par.add(null, ACTOR_TEST, diagramSentence);
}
// --------------- ActorSentence.Visitor ---------------
@Override
public Frame visit(ActorSentence actorSentence, Frame par)
{
final Name actor = actorSentence.getActor();
return par.add(actor == null ? actorSentence.getPosition() : actor.getPosition(),
actorKey(actorSentence.getActor()), actorSentence);
}
@Override
public Frame visit(CallSentence callSentence, Frame par)
{
final CallExpr callExpr = callSentence.getCall();
final List sentences = callExpr.getBody().getItems();
return this.visit((ActorSentence) callSentence, par).push(actorKey(callExpr.getName()), sentences);
}
@Override
public Frame visit(AnswerSentence answerSentence, Frame par)
{
final Name actor = answerSentence.getActor();
final Position position;
final String actorKey;
if (actor != null)
{
actorKey = actorKey(actor);
position = actor.getPosition();
}
else
{
// "we return" - invalid
final String lastActor = par.getValue(ACTOR_KEY);
final Position errorPosition = answerSentence.getPosition();
if (ACTOR_VALUE_TEST.equals(lastActor))
{
par.report(error(errorPosition, "answer.we"));
return par.add(answerSentence);
}
else
{
par.report(error(errorPosition, "answer.we").note(note(errorPosition, "answer.we.hint", lastActor)));
actorKey = actorKey(lastActor);
position = null;
}
}
return par.add(null, actorKey, answerSentence).pop(position, actorKey);
}
}
class Frame
{
String key;
List target;
Frame next;
boolean keyMatches(String keys)
{
return keyMatches(this.key, keys);
}
static boolean keyMatches(String frameKeys, String keys)
{
int start = 0;
int end;
while ((end = keys.indexOf(',', start)) >= 0)
{
final int colon = keys.indexOf(':', start);
assert colon < end;
final String key = keys.substring(start, colon + 1); // including trailing :
// final String keyValue = keys.substring(start, end + 1); // including trailing ,
final int keyPos = frameKeys.indexOf(key);
if (keyPos >= 0 && !frameKeys.regionMatches(keyPos, keys, start, end - start + 1)) // + 1 for trailing ,
{
// this frame specifies the key, but with a different value
return false;
}
start = end + 1;
}
return true;
}
String getValue(String key)
{
final int index = this.key.indexOf(key);
if (index < 0)
{
return this.next != null ? this.next.getValue(key) : null;
}
final int end = this.key.indexOf(',', index);
return this.key.substring(index + key.length(), end);
}
Frame add(Sentence sentence)
{
this.target.add(sentence);
return this;
}
Frame add(Position position, String key, Sentence sentence)
{
return this.popIncompatible(position, key).add(sentence);
}
Frame push(String key, List target)
{
final Frame newTop = new Frame();
newTop.key = key;
newTop.target = target;
newTop.next = this;
return newTop;
}
Frame pop()
{
return this.next;
}
Frame pop(Position position, String key)
{
final Frame def = this.popToDefinition(position, key);
return def.next != null ? def.pop() : def;
}
private Frame popIncompatible(Position position, String key)
{
Frame result = this;
while (!keyMatches(key, result.key))
{
if (result.next == null)
{
this.reportIncompatible(position, key);
return this;
}
result = result.next;
}
return result;
}
private Frame popToDefinition(Position position, String key)
{
Frame result = this;
while (!result.key.contains(key))
{
if (result.next == null)
{
this.reportIncompatible(position, key);
return this;
}
result = result.next;
}
return result;
}
private void reportIncompatible(Position position, String key)
{
if (position == null)
{
return;
}
final int beginIndex = key.indexOf(':');
final int endIndex = key.indexOf(',', beginIndex + 1);
final String type = key.substring(0, beginIndex);
final String value = key.substring(beginIndex + 1, endIndex);
this.report(error(position, "frame.incompatible." + type, value).note(
note(position, "frame.incompatible." + type + ".hint", value)));
}
void report(Marker marker)
{
this.next.report(marker);
}
}
class TopFrame extends Frame
{
ScenarioFile file;
@Override
void report(Marker marker)
{
this.file.getMarkers().add(marker);
}
}