Select Git revision
PopupBehavior.cs
FactManager.cs 10.21 KiB
using System;
using UnityEngine;
/// <summary>
/// Initiates named <see cref="Fact"/> and adds it to <see cref="StageStatic.stage.factState"/>
/// </summary>
/// <param name="samestep">set <c>true</c> if <see cref="Fact"/> creation happens as a subsequent/ consequent step of multiple <see cref="Fact"/> creations and/or deletions,
/// and you whish that these are affected by a single <see cref="FactOrganizer.undo"/>/ <see cref="FactOrganizer.redo"/> step</param>
/// <returns><see cref="Fact.Id"/> of generated <see cref="Fact"/> if not yet existent in <see cref="StageStatic.stage.factState"/>, else <see cref="Fact.Id"/> of existent equivalent <see cref="Fact"/> </returns>
public static class FactManager
{
//TODO! communicate success/ failure + consequences
//TODO: solution for parsed-functions
/// <summary>
/// Adds <paramref name="fact"/> to <see cref="StageStatic.stage.factState"/>
/// </summary>
/// <param name="fact">to be added</param>
/// <param name="exists"><c>true</c> iff <paramref name="fact"/> already has a equivalent counterpart in <paramref name="fact._Facts"/></param>
/// \copydetails FactManager
public static Fact AddFactIfNotFound(Fact fact, out bool exists, bool samestep, Gadget gadget, string scroll_label)
{
if (fact is AngleCircleLineFact ACLFact)
return AddParsedAngleCircleLineFactIfNotFound(ACLFact, out exists, samestep, null, scroll_label);
else if (fact is AngleFact AngleFact)
return AddParsedAngleFactIfNotFound(AngleFact, out exists, samestep, null, scroll_label);
else
return FactOrganizer.AllFacts[
StageStatic.stage.factState.Add(
fact, out exists, samestep
, gadget ?? (scroll_label == null ? GadgetBehaviour.ActiveGadget : null)
, scroll_label
)];
}
/// \copybrief FactManager <summary></summary>
/// <param name="hit"><c>RaycastHit</c> where and how (orientation) to spawn <see cref="PointFact"/></param>
/// \copydetails FactManager
public static PointFact AddPointFact(RaycastHit hit, bool samestep = false, Gadget gadget = null, string scroll_label = null)
{
return (PointFact) AddFactIfNotFound(
new PointFact(hit.point, hit.normal, StageStatic.stage.factState)
, out _, samestep, gadget, scroll_label);
}
/// \copybrief FactManager <summary></summary>
/// <param name="point">where to spawn <see cref="PointFact"/></param>
/// <param name="normal">how (orientation) to spawn <see cref="PointFact"/></param>
/// \copydetails FactManager
public static PointFact AddPointFact(Vector3 point, Vector3 normal, bool samestep = false, Gadget gadget = null, string scroll_label = null)
{
return (PointFact) AddFactIfNotFound(
new PointFact(point, normal, StageStatic.stage.factState)
, out _, samestep, gadget, scroll_label);
}
/// \copybrief FactManager <summary></summary>
/// <param name="pid"><see cref="Fact.Id"/> of <see cref="PointFact"/> which lies on <paramref name="lid"/></param>
/// <param name="lid"><see cref="Fact.Id"/> of <see cref="LineFact"/> on which <paramref name="pid"/> lies</param>
/// \copydetails FactManager
public static OnLineFact AddOnLineFact(string pid, string lid, bool samestep = false, Gadget gadget = null, string scroll_label = null, bool is_certain = false)
{
if (!is_certain)
{
AbstractLineFact line = (AbstractLineFact)FactOrganizer.AllFacts[lid];
PointFact line_point = (PointFact)FactOrganizer.AllFacts[line.Pid1];
PointFact point = (PointFact)FactOrganizer.AllFacts[pid];
if (!Math3d.IsPointApproximatelyOnLine(line_point.Point, line.Dir, point.Point))
return null;
}
return (OnLineFact)AddFactIfNotFound(
new OnLineFact(pid, lid, StageStatic.stage.factState)
, out _, samestep, gadget, scroll_label);
}
/// \copybrief FactManager <summary></summary>
/// <param name="pid1"><see cref="Fact.Id"/> of first <see cref="PointFact"/> defining a <see cref="LineFact"/></param>
/// <param name="pid2"><see cref="Fact.Id"/> of second <see cref="PointFact"/> defining a <see cref="LineFact"/></param>
/// \copydetails FactManager
public static LineFact AddLineFact(string pid1, string pid2, bool samestep = false, Gadget gadget = null, string scroll_label = null)
{
return (LineFact)AddFactIfNotFound(
new LineFact(pid1, pid2, StageStatic.stage.factState)
, out _, samestep, gadget, scroll_label);
}
/// \copybrief FactManager
/// <summary>
/// Creates aditionally <see cref="OnLineFact">OnLineFacts</see> when <see cref="RayFact"/> crosses <see cref="PointFact">PointFacts</see>.
/// </summary>
/// <param name="pid1"><see cref="Fact.Id"/> of first <see cref="PointFact"/> defining a <see cref="RayFact"/></param>
/// <param name="pid2"><see cref="Fact.Id"/> of second <see cref="PointFact"/> defining a <see cref="RayFact"/></param>
/// \copydetails FactManager
public static RayFact AddRayFact(string pid1, string pid2, bool samestep = false, Gadget gadget = null, string scroll_label = null)
{
RayFact rayFact = (RayFact)AddFactIfNotFound(
new RayFact(pid1, pid2, StageStatic.stage.factState)
, out bool exists, samestep, gadget, scroll_label);
if (exists)
return rayFact;
//Add all PointFacts on Ray as OnLineFacts
PointFact rayP1 = (PointFact)FactOrganizer.AllFacts[rayFact.Pid1];
PointFact rayP2 = (PointFact)FactOrganizer.AllFacts[rayFact.Pid2];
int layerMask = LayerMask.GetMask("Point");
RaycastHit[] hitsA = Physics.RaycastAll(rayP1.Point, rayFact.Dir, Mathf.Infinity, layerMask);
RaycastHit[] hitsB = Physics.RaycastAll(rayP2.Point, -rayFact.Dir, Mathf.Infinity, layerMask);
void AddHitIfOnLine(RaycastHit hit)
{
if (Math3d.IsPointApproximatelyOnLine(rayP1.Point, rayFact.Dir, hit.transform.position))
{
AddOnLineFact(
hit.transform.gameObject.GetComponent<FactObject3D>().URI, rayFact.Id, true, gadget, scroll_label, true);
}
}
foreach (RaycastHit hit in hitsA)
AddHitIfOnLine(hit);
foreach (RaycastHit hit in hitsB)
AddHitIfOnLine(hit);
// for good measure
AddOnLineFact(rayFact.Pid1, rayFact.Id, true, gadget, scroll_label, true);
AddOnLineFact(rayFact.Pid2, rayFact.Id, true, gadget, scroll_label, true);
return rayFact;
}
/// \copybrief FactManager <summary></summary>
/// <param name="pid1"><see cref="Fact.Id"/> of first <see cref="PointFact"/> defining a <see cref="AngleFact"/></param>
/// <param name="pid2"><see cref="Fact.Id"/> of second <see cref="PointFact"/> defining a <see cref="AngleFact"/></param>
/// <param name="pid3"><see cref="Fact.Id"/> of third <see cref="PointFact"/> defining a <see cref="AngleFact"/></param>
/// \copydetails FactManager
public static AngleFact AddAngleFact(string pid1, string pid2, string pid3, bool samestep = false, Gadget gadget = null, string scroll_label = null)
{
AngleFact angle = (AngleFact)AddFactIfNotFound(
new AngleFact(pid1, pid2, pid3, StageStatic.stage.factState)
, out _, samestep, gadget, scroll_label);
if (angle.is_right_angle) {
AddFactIfNotFound(
new RightAngleFact(pid1, pid2, pid3, StageStatic.stage.factState)
, out _, samestep, gadget, scroll_label);
}
return angle;
}
public static AngleCircleLineFact AddAngleCircleLineFact(string cid, string lid, float angleValue, bool samestep = false, Gadget gadget = null, string scroll_label = null)
{
AngleCircleLineFact angle = (AngleCircleLineFact)AddFactIfNotFound(
new AngleCircleLineFact(cid, lid, StageStatic.stage.factState)
, out _, samestep, gadget, scroll_label);
if (Mathf.Approximately(Mathf.Abs(angleValue), 90.0f))
{
AddFactIfNotFound(
new OrthogonalCircleLineFact(cid, lid, StageStatic.stage.factState)
, out _, samestep, gadget, scroll_label);
}
return angle;
}
public static Fact AddParsedAngleCircleLineFactIfNotFound(AngleCircleLineFact fact, out bool exists, bool samestep, Gadget gadget, string scroll_label)
{
if (Mathf.Approximately(Mathf.Abs(fact.angle), 90.0f))
{
AddFactIfNotFound(
new OrthogonalCircleLineFact(fact.Cid1, fact.Rid2, StageStatic.stage.factState)
, out _, samestep, gadget, scroll_label);
}
return FactOrganizer.AllFacts[
StageStatic.stage.factState.Add(
fact, out exists, samestep
, gadget ?? (scroll_label == null ? GadgetBehaviour.ActiveGadget : null)
, scroll_label
)];
}
public static Fact AddParsedAngleFactIfNotFound(AngleFact fact, out bool exists, bool samestep, Gadget gadget, string scroll_label)
{
if (fact.is_right_angle)
AddFactIfNotFound(
new RightAngleFact(fact.Pid1, fact.Pid2, fact.Pid3, StageStatic.stage.factState)
, out _, samestep, gadget, scroll_label);
return FactOrganizer.AllFacts[
StageStatic.stage.factState.Add(
fact, out exists, samestep
, gadget ?? (scroll_label == null ? GadgetBehaviour.ActiveGadget : null)
, scroll_label
)];
}
public static EqualCirclesFact AddEqualCirclesFact(string cid1, string cid2, bool samestep = false, Gadget gadget = null, string scroll_label = null)
{
return (EqualCirclesFact)AddFactIfNotFound(new EqualCirclesFact(cid1, cid2, StageStatic.stage.factState), out _, samestep,gadget,scroll_label);
}
public static UnEqualCirclesFact AddUnEqualCirclesFact(string cid1, string cid2, bool samestep = false, Gadget gadget = null, string scroll_label = null)
{
return (UnEqualCirclesFact)AddFactIfNotFound(new UnEqualCirclesFact(cid1, cid2, StageStatic.stage.factState), out _, samestep,gadget,scroll_label);
}
}