public override void Expand(XrefExpander expander, Frame sf, string id, string xRef)
{
Clause c = new Clause(OboFormatTag.TAG_RELATIONSHIP, rel);
c.AddValue(xRef);
GetTargetFrame(expander, id).AddClause(c);
}
public override void Expand(XrefExpander expander, Frame sf, string id, string xRef)
{
Clause gc = new Clause(OboFormatTag.TAG_INTERSECTION_OF, id);
Clause dc = new Clause(OboFormatTag.TAG_INTERSECTION_OF);
dc.SetValue(rel);
dc.AddValue(tgt);
GetTargetFrame(expander, xRef).AddClause(gc);
GetTargetFrame(expander, xRef).AddClause(dc);
}
protected Frame GetTargetFrame(XrefExpander expander, string id)
{
OBODoc targetDoc = expander.GetTargetDoc(OWLAPIPreconditions.VerifyNotNull(IdSpace, "idSpace not set yet"));
Frame? f = targetDoc.GetTermFrame(id);
if (f == null)
{
f = new Frame
{
Id = id
};
try
{
targetDoc.AddTermFrame(f);
}
catch (FrameMergeException e)
{
// this should be impossible
LOGGER.Error("Frame merge exceptions should not be possible", e);
}
}
return(f);
}
public override void Expand(XrefExpander expander, Frame sf, string id, string xRef)
{
Clause c = new Clause(OboFormatTag.TAG_IS_A, xRef);
GetTargetFrame(expander, id).AddClause(c);
}
public override void Expand(XrefExpander expander, Frame sf, string id, string xRef)
{
Clause c = new Clause(OboFormatTag.TAG_EQUIVALENT_TO, xRef);
sf.AddClause(c);
}
public abstract void Expand(XrefExpander expander, Frame sf, string id, string xRef);
