public void ExportDomainHypothesis(DomainHypothesis domhyp)
{
var name = new StringBuilder (domhyp.Name);
if (name.Length > 30) {
var midspace = domhyp.Name.IndexOf (' ', (domhyp.Name.Length / 2) - 1);
name.Replace (" ", @"\n", midspace, 1);
}
writer.WriteLine (@"""{0}"" [shape=trapezium,label=""{1}"",style=filled,fillcolor=""{2}"",fontname=""HelveticaNeue"",fontsize=9,margin=""-.2,0""];",
domhyp.Identifier, name, "#FFEFEF");
}
public static MvcHtmlString GetLink(this HtmlHelper helper, DomainHypothesis domhyp)
{
return helper.ActionLink (domhyp.FriendlyName, "GoalModel");
}
public void Add(DomainHypothesis domHyp)
{
this.DomainHypothesisIdentifiers.Add (domHyp.Identifier);
}
public void Remove(DomainHypothesis domHyp)
{
this.DomainHypothesisIdentifiers.Remove (domHyp.Identifier);
}
public void Add(DomainHypothesis agent)
{
DomainHypotheses.Add (agent);
}
public static IEncodedString GetPartialDomHypDiagram(DomainHypothesis domhyp)
{
var view = new PartialModelView ();
view.Add (domhyp);
foreach (var r in domhyp.GoalRefinements ()) {
view.Add (r);
view.Add (r.ParentGoal ());
foreach (var gg in r.SubGoals ()) {
view.Add (gg);
}
foreach (var gg in r.DomainProperties ()) {
view.Add (gg);
}
foreach (var gg in r.DomainHypotheses ()) {
view.Add (gg);
}
}
foreach (var r in domhyp.ObstacleRefinements ()) {
view.Add (r);
view.Add (r.ParentObstacle ());
foreach (var gg in r.SubObstacles ()) {
view.Add (gg);
}
}
var stream1 = new MemoryStream();
var ser = new DataContractJsonSerializer(typeof(PartialModelView));
ser.WriteObject(stream1, view);
stream1.Position = 0;
StreamReader sr = new StreamReader(stream1);
return new RawString (sr.ReadToEnd());
}
protected void Render(DomainHypothesis domHyp)
{
AddHomeShape (domHyp.Identifier, domHyp.FriendlyName,
1, 1, 0.92156862745, 0.92156862745);
}