|
|
61bedf |
using System;
|
|
|
61bedf |
using System.Collections.Generic;
|
|
|
61bedf |
|
|
|
61bedf |
namespace Assistance {
|
|
|
61bedf |
public class InputManager: Track.Owner {
|
|
|
61bedf |
public static readonly Drawing.Pen penPreview = new Drawing.Pen("Dark Green", 1.0, 0.25);
|
|
|
61bedf |
|
|
|
61bedf |
public class TrackHandler: Track.Handler {
|
|
|
61bedf |
public readonly List<int> keys = new List<int>();</int></int>
|
|
|
c3ebff |
public TrackHandler(InputManager owner, Track original, int keysCount = 0):
|
|
|
c3ebff |
base(owner, track)
|
|
|
c3ebff |
{ for(int i = 0; i < keysCount; ++i) keys.Add(0); }
|
|
|
61bedf |
}
|
|
|
61bedf |
|
|
|
61bedf |
public class KeyPoint {
|
|
|
61bedf |
public class Holder: IDisposable {
|
|
|
61bedf |
public readonly KeyPoint keyPoint;
|
|
|
1d3aae |
private bool holded = false;
|
|
|
1d3aae |
|
|
|
61bedf |
public Holder(KeyPoint keyPoint)
|
|
|
1d3aae |
{ this.keyPoint = keyPoint; reuse(); }
|
|
|
1d3aae |
|
|
|
1d3aae |
public bool available
|
|
|
1d3aae |
{ get { return keyPoint.available; } }
|
|
|
1d3aae |
public bool isHolded
|
|
|
1d3aae |
{ get { return holded; } }
|
|
|
1d3aae |
public bool reuse() {
|
|
|
1d3aae |
if (!holded) ++keyPoint.refCount;
|
|
|
1d3aae |
holded = true;
|
|
|
1d3aae |
return keyPoint.available;
|
|
|
1d3aae |
}
|
|
|
1d3aae |
public void release() {
|
|
|
1d3aae |
if (holded) --keyPoint.refCount;
|
|
|
1d3aae |
holded = false;
|
|
|
1d3aae |
}
|
|
|
1d3aae |
|
|
|
61bedf |
public void Dispose()
|
|
|
61bedf |
{ Dispose(true); GC.SuppressFinalize(this); }
|
|
|
61bedf |
protected virtual void Dispose(bool disposing)
|
|
|
1d3aae |
{ release(); }
|
|
|
61bedf |
~Holder()
|
|
|
61bedf |
{ Dispose(false); }
|
|
|
61bedf |
}
|
|
|
1d3aae |
|
|
|
61bedf |
private int refCount = 0;
|
|
|
1d3aae |
public bool available = true;
|
|
|
1d3aae |
|
|
|
61bedf |
public Holder hold()
|
|
|
61bedf |
{ return new Holder(this); }
|
|
|
61bedf |
public bool isFree
|
|
|
61bedf |
{ get { return refCount <= 0; } }
|
|
|
61bedf |
}
|
|
|
61bedf |
|
|
|
c3ebff |
public class Modifier: Track.Owner {
|
|
|
c3ebff |
public virtual void activate() { }
|
|
|
c3ebff |
public virtual void modify(Track tracks, KeyPoint keyPoint, List<track> outTracks)
|
|
|
c3ebff |
{ }
|
|
|
c3ebff |
public virtual void modify(List<track> tracks, KeyPoint keyPoint, List<track> outTracks)
|
|
|
c3ebff |
{ foreach(Track track in tracks) modify(track, keyPoint, outTracks); }
|
|
|
c3ebff |
public virtual void deactivate() { }
|
|
|
c3ebff |
}
|
|
|
c3ebff |
|
|
|
61bedf |
|
|
|
61bedf |
public readonly Workarea workarea;
|
|
|
61bedf |
|
|
|
61bedf |
private readonly InputState state = new InputState();
|
|
|
61bedf |
|
|
|
61bedf |
private Tool tool;
|
|
|
c3ebff |
private readonly List<modifier> modifiers = new List<modifier>();</modifier></modifier>
|
|
|
61bedf |
|
|
|
61bedf |
private readonly List<track> tracks = new List<track>();
|
|
|
61bedf |
private readonly List<keypoint> keyPoints = new List<keypoint>();</keypoint></keypoint>
|
|
|
61bedf |
private int keyPointsSent;
|
|
|
61bedf |
|
|
|
c3ebff |
private List<track> subTracks = null;
|
|
|
c3ebff |
private readonly List<track>[] subTracksBuf = new List<track>[] { new List<track>(), new List<track>() };
|
|
|
c3ebff |
|
|
|
61bedf |
|
|
|
61bedf |
InputManager(Workarea workarea)
|
|
|
61bedf |
{ this.workarea = workarea; }
|
|
|
61bedf |
|
|
|
61bedf |
|
|
|
61bedf |
private void paintRollbackTo(int keyIndex, List<track> subTracks) {
|
|
|
61bedf |
if (keyIndex >= keyPoints.Count)
|
|
|
61bedf |
return;
|
|
|
61bedf |
|
|
|
61bedf |
int level = keyIndex + 1;
|
|
|
61bedf |
if (level <= keyPointsSent) {
|
|
|
61bedf |
if (level <= keyPointsSent)
|
|
|
61bedf |
tool.paintPop(keyPointsSent - level);
|
|
|
61bedf |
tool.paintCancel();
|
|
|
61bedf |
keyPointsSent = level;
|
|
|
61bedf |
}
|
|
|
61bedf |
|
|
|
61bedf |
foreach(Track track in subTracks) {
|
|
|
61bedf |
TrackHandler handler = (TrackHandler)track.handler;
|
|
|
61bedf |
handler.keys.RemoveRange(level, keyPoints.Count - level);
|
|
|
61bedf |
int index = handler.keys[keyIndex];
|
|
|
61bedf |
track.wayPointsRemoved = 0;
|
|
|
61bedf |
track.wayPointsAdded = track.points.Count - index - 1;
|
|
|
61bedf |
}
|
|
|
1d3aae |
for(int i = level; i < keyPoints.Count; ++i) keyPoints[i].available = false;
|
|
|
61bedf |
keyPoints.RemoveRange(level, keyPoints.Count - level);
|
|
|
61bedf |
}
|
|
|
61bedf |
|
|
|
61bedf |
private void paintApply(int count, Dictionary<long, track=""> subTracks) {</long,>
|
|
|
61bedf |
if (count <= 0)
|
|
|
61bedf |
return;
|
|
|
61bedf |
|
|
|
1d3aae |
int level = keyPoints.Count - count;
|
|
|
61bedf |
if (level >= keyPointsSent || tool.paintApply(keyPointsSent - level)) {
|
|
|
61bedf |
// apply
|
|
|
61bedf |
foreach(Track track in subTracks)
|
|
|
61bedf |
((TrackHandler)track.handler).keys.RemoveRange(level, keyPoints.Count - level);
|
|
|
61bedf |
} else {
|
|
|
61bedf |
// rollback
|
|
|
61bedf |
tool.paintPop(keyPointsSent - level);
|
|
|
61bedf |
foreach(Track track in subTracks) {
|
|
|
61bedf |
TrackHandler handler = (TrackHandler)track.handler;
|
|
|
61bedf |
int index = handler.keys[level];
|
|
|
61bedf |
handler.keys.RemoveRange(level, keyPoints.Count - level);
|
|
|
61bedf |
track.wayPointsRemoved = 0;
|
|
|
61bedf |
track.wayPointsAdded = track.points.Count - index - 1;
|
|
|
61bedf |
}
|
|
|
61bedf |
}
|
|
|
61bedf |
|
|
|
1d3aae |
for(int i = level; i < keyPoints.Count; ++i) keyPoints[i].available = false;
|
|
|
61bedf |
keyPoints.RemoveRange(level, keyPoints.Count - level);
|
|
|
61bedf |
if (level < keyPointsSent)
|
|
|
61bedf |
keyPointsSent = level;
|
|
|
61bedf |
}
|
|
|
61bedf |
|
|
|
61bedf |
private void paintTracks() {
|
|
|
61bedf |
bool allFinished = true;
|
|
|
61bedf |
foreach(Track track in tracks)
|
|
|
61bedf |
if (!track.isFinished)
|
|
|
61bedf |
{ allFinished = false; break; }
|
|
|
61bedf |
|
|
|
61bedf |
while(true) {
|
|
|
61bedf |
// run modifiers
|
|
|
61bedf |
KeyPoint newKeyPoint = new KeyPoint();
|
|
|
c3ebff |
subTracks = tracks;
|
|
|
c3ebff |
int i = 0;
|
|
|
c3ebff |
foreach(Modifier modifier in modifiers) {
|
|
|
c3ebff |
List<track> outTracks = subTracksBuf[i];
|
|
|
c3ebff |
modifier.modify(subTracks, keyEvent, outTracks);
|
|
|
c3ebff |
subTracks = outTracks;
|
|
|
c3ebff |
i = 1 - i;
|
|
|
c3ebff |
}
|
|
|
c3ebff |
|
|
|
c3ebff |
// create handlers
|
|
|
c3ebff |
foreach(Track track in subTracks)
|
|
|
c3ebff |
if (track.handler == null)
|
|
|
c3ebff |
track.handler = new TrackHandler(this, track, keyPoints.Count);
|
|
|
61bedf |
|
|
|
61bedf |
if (keyPoints.Count > 0) {
|
|
|
61bedf |
// rollback
|
|
|
61bedf |
int rollbackIndex = keyPoints.Count;
|
|
|
61bedf |
foreach(Track track in subTracks) {
|
|
|
61bedf |
if (track.wayPointsRemoved > 0) {
|
|
|
61bedf |
int count = track.points.Count - track.wayPointsAdded + track.wayPointsRemoved;
|
|
|
61bedf |
TrackHandler handler = (TrackHandler)track.handler;
|
|
|
61bedf |
while(rollbackIndex > 0 && (rollbackIndex >= keyPoints.Count || handler.keys[rollbackIndex] > count))
|
|
|
61bedf |
--rollbackIndex;
|
|
|
61bedf |
}
|
|
|
61bedf |
}
|
|
|
61bedf |
paintRollbackTo(rollbackIndex, subTracks);
|
|
|
61bedf |
|
|
|
61bedf |
// apply
|
|
|
61bedf |
int applyCount = 0;
|
|
|
61bedf |
while(applyCount < keyPoints.Count && keyPoints[keyPoints.Count - applyCount - 1].isFree)
|
|
|
61bedf |
++applyCount;
|
|
|
61bedf |
paintApply(applyCount, subTracks);
|
|
|
61bedf |
}
|
|
|
61bedf |
|
|
|
61bedf |
// send to tool
|
|
|
61bedf |
if (keyPointsSent == keyPoints.Count)
|
|
|
61bedf |
tool.paintTracks(subTracks);
|
|
|
61bedf |
|
|
|
61bedf |
// is paint finished?
|
|
|
61bedf |
if (newKeyPoint.isFree) {
|
|
|
61bedf |
if (allFinished) {
|
|
|
61bedf |
paintApply(keyPoints.Count, subTracks);
|
|
|
61bedf |
tracks.Clear();
|
|
|
61bedf |
this.subTracks = null;
|
|
|
61bedf |
} else {
|
|
|
61bedf |
this.subTracks = subTracks;
|
|
|
61bedf |
}
|
|
|
61bedf |
break;
|
|
|
61bedf |
}
|
|
|
61bedf |
|
|
|
61bedf |
// create key point
|
|
|
61bedf |
if (tool.paintPush()) ++keyPointsSent;
|
|
|
61bedf |
keyPoints.Add(newKeyPoint);
|
|
|
61bedf |
foreach(Track track in subTracks)
|
|
|
61bedf |
((TrackHandler)track.handler).keys.Add(track.points.Count);
|
|
|
61bedf |
}
|
|
|
61bedf |
}
|
|
|
61bedf |
|
|
|
61bedf |
private int trackCompare(Track track, Gdk.Device device, long touchId) {
|
|
|
61bedf |
if (track.device < device) return -1;
|
|
|
61bedf |
if (track.device > device) return 1;
|
|
|
61bedf |
if (track.touchId < touchId) return -1;
|
|
|
61bedf |
if (track.touchId > touchId) return 1;
|
|
|
61bedf |
return 0;
|
|
|
61bedf |
}
|
|
|
61bedf |
|
|
|
61bedf |
private Track createTrack(int index, Gdk.Device device, long touchId, long ticks) {
|
|
|
61bedf |
Track track = new Track(
|
|
|
61bedf |
device,
|
|
|
61bedf |
touchId,
|
|
|
61bedf |
state.keyHistoryHolder(ticks),
|
|
|
61bedf |
state.buttonHistoryHolder(device, ticks) );
|
|
|
61bedf |
tracks.Insert(index, track);
|
|
|
61bedf |
return track;
|
|
|
61bedf |
}
|
|
|
61bedf |
|
|
|
61bedf |
private Track getTrack(Gdk.Device device, long touchId, long ticks) {
|
|
|
61bedf |
int cmp;
|
|
|
61bedf |
|
|
|
61bedf |
int a = 0;
|
|
|
61bedf |
cmp = trackCompare(tracks[a], device, touchId);
|
|
|
61bedf |
if (cmp == 0) return tracks[a];
|
|
|
61bedf |
if (cmp < 0) return createTrack(a, device, touchId, ticks);
|
|
|
61bedf |
|
|
|
61bedf |
int b = tracks.Count - 1;
|
|
|
61bedf |
cmp = trackCompare(tracks[b], device, touchId);
|
|
|
61bedf |
if (cmp == 0) return tracks[b];
|
|
|
61bedf |
if (cmp > 0) return createTrack(b+1, device, touchId, ticks);
|
|
|
61bedf |
|
|
|
61bedf |
// binary search: tracks[a] < tracks[c] < tracks[b]
|
|
|
61bedf |
while(true) {
|
|
|
61bedf |
int c = (a + b)/2;
|
|
|
61bedf |
if (a == c) break;
|
|
|
61bedf |
cmp = trackCompare(tracks[c], device, touchId);
|
|
|
61bedf |
if (cmp < 0) b = c; else
|
|
|
61bedf |
if (cmp > 0) a = c; else
|
|
|
61bedf |
return tracks[c];
|
|
|
61bedf |
}
|
|
|
61bedf |
return createTrack(b, device, touchId, ticks);
|
|
|
61bedf |
}
|
|
|
61bedf |
|
|
|
61bedf |
private void addTrackPoint(Track track, Track.Point point, double time, bool final) {
|
|
|
61bedf |
// fix time
|
|
|
61bedf |
if (track.points.Count > 0)
|
|
|
61bedf |
time = Math.Max(time, track.getLast().time + Timer.step);
|
|
|
61bedf |
|
|
|
61bedf |
// calc length
|
|
|
61bedf |
double length = track.points.Count > 0
|
|
|
61bedf |
? (point.position - track.getLast().point.position).lenSqr() + track.getLast().length
|
|
|
61bedf |
: 0.0;
|
|
|
61bedf |
|
|
|
61bedf |
// add
|
|
|
61bedf |
track.points.Add( new Track.WayPoint(
|
|
|
61bedf |
point,
|
|
|
61bedf |
new Track.Point(),
|
|
|
61bedf |
(double)track.points.Count,
|
|
|
61bedf |
time,
|
|
|
61bedf |
length,
|
|
|
61bedf |
track.points.Count,
|
|
|
61bedf |
final ));
|
|
|
61bedf |
++track.wayPointsAdded;
|
|
|
61bedf |
}
|
|
|
61bedf |
|
|
|
61bedf |
private void touchTracks(bool finish = false) {
|
|
|
61bedf |
foreach(Track track in tracks)
|
|
|
61bedf |
if (!track.isFinished() && track.points.Count > 0)
|
|
|
61bedf |
addTrackPoint(track, track.getLast().point, track.getLast().time, finish);
|
|
|
61bedf |
paintTracks();
|
|
|
61bedf |
}
|
|
|
61bedf |
|
|
|
61bedf |
private void finishTracks()
|
|
|
61bedf |
{ touchTracks(true); }
|
|
|
61bedf |
|
|
|
61bedf |
|
|
|
61bedf |
public void trackEvent(long touchId, Gdk.Device device, Track.Point point, bool final, long ticks) {
|
|
|
61bedf |
if (tool != null) {
|
|
|
61bedf |
Track track = getTrack(touchId, device, ticks);
|
|
|
61bedf |
if (!track.isFinished) {
|
|
|
61bedf |
double time = (double)(ticks - track.keyHistory.ticks)*Timer.step - track.keyHistory.timeOffset;
|
|
|
61bedf |
addTrackPoint(track, point, time, final);
|
|
|
61bedf |
paintTracks();
|
|
|
61bedf |
}
|
|
|
61bedf |
}
|
|
|
61bedf |
}
|
|
|
61bedf |
|
|
|
61bedf |
public void keyEvent(bool press, Gdk.Key key, long ticks) {
|
|
|
61bedf |
state.keyEvent(press, key, ticks);
|
|
|
61bedf |
if (tool != null) {
|
|
|
61bedf |
tool.keyEvent(press, key, state);
|
|
|
61bedf |
touchTracks();
|
|
|
61bedf |
}
|
|
|
61bedf |
}
|
|
|
61bedf |
|
|
|
61bedf |
public void buttonEvent(bool press, Gdk.Device device, uint button, long ticks) {
|
|
|
61bedf |
state.buttonEvent(press, device, button, ticks);
|
|
|
61bedf |
if (tool != null) {
|
|
|
61bedf |
tool.buttonEvent(press, device, button, state);
|
|
|
61bedf |
touchTracks();
|
|
|
61bedf |
}
|
|
|
61bedf |
}
|
|
|
61bedf |
|
|
|
61bedf |
|
|
|
61bedf |
public Tool getTool()
|
|
|
61bedf |
{ return tool; }
|
|
|
61bedf |
|
|
|
61bedf |
public void setTool(Tool tool) {
|
|
|
61bedf |
if (this.tool == tool) {
|
|
|
61bedf |
if (this.tool != null) {
|
|
|
61bedf |
finishTracks();
|
|
|
61bedf |
this.tool.deactivate();
|
|
|
61bedf |
}
|
|
|
61bedf |
|
|
|
61bedf |
this.tool = tool;
|
|
|
61bedf |
|
|
|
61bedf |
if (this.tool != null)
|
|
|
61bedf |
this.tool.activate();
|
|
|
61bedf |
}
|
|
|
61bedf |
}
|
|
|
61bedf |
|
|
|
61bedf |
public int getModifiersCount()
|
|
|
61bedf |
{ return modifiers.Count; }
|
|
|
c3ebff |
public Modifier getModifier(int index)
|
|
|
61bedf |
{ return modifiers[index]; }
|
|
|
61bedf |
|
|
|
c3ebff |
public void insertModifier(int index, Modifier modifier) {
|
|
|
61bedf |
if (this.tool != null) finishTracks();
|
|
|
61bedf |
modifiers.Insert(index, modifier);
|
|
|
61bedf |
modifier.activate();
|
|
|
61bedf |
}
|
|
|
c3ebff |
public void addModifier(Modifier modifier)
|
|
|
61bedf |
{ insertModifier(getModifiersCount(), modifier); }
|
|
|
61bedf |
|
|
|
61bedf |
public void removeModifier(int index) {
|
|
|
61bedf |
if (this.tool != null) finishTracks();
|
|
|
61bedf |
modifiers[i].deactivate();
|
|
|
61bedf |
modifiers.RemoveAt(index);
|
|
|
61bedf |
}
|
|
|
c3ebff |
public void removeModifier(Modifier modifier) {
|
|
|
61bedf |
for(int i = 0; i < getModifiersCount(); ++i)
|
|
|
61bedf |
if (getModifier(i) == modifier)
|
|
|
61bedf |
{ removeModifier(i); break; }
|
|
|
61bedf |
}
|
|
|
61bedf |
public void clearModifiers() {
|
|
|
61bedf |
while(getModifiersCount() > 0)
|
|
|
61bedf |
removeModifier(0);
|
|
|
61bedf |
}
|
|
|
61bedf |
|
|
|
61bedf |
|
|
|
61bedf |
public void draw(Cairo.Context context) {
|
|
|
61bedf |
// paint not sent sub-tracks
|
|
|
61bedf |
if (subTracks != null && keyPointsSent < keyPoints.Count) {
|
|
|
61bedf |
context.Save();
|
|
|
61bedf |
penPreview.apply(context);
|
|
|
61bedf |
foreach(Track track in subTracks) {
|
|
|
61bedf |
TrackHandler handler = (TrackHandler)track.handler;
|
|
|
61bedf |
int start = handler.keys[keyPointsSent];
|
|
|
61bedf |
if (start < track.points.Count) {
|
|
|
61bedf |
context.MoveTo(track.points[start].point.position.x, track.points[start].point.position.y);
|
|
|
61bedf |
for(int i = start + 1; i < track.points.Count; ++i)
|
|
|
61bedf |
context.MoveTo(track.points[i].point.position.x, track.points[i].point.position.y);
|
|
|
61bedf |
}
|
|
|
61bedf |
}
|
|
|
61bedf |
context.Stroke();
|
|
|
61bedf |
context.Restore();
|
|
|
61bedf |
}
|
|
|
61bedf |
}
|
|
|
61bedf |
}
|
|
|
61bedf |
}
|
|
|
61bedf |
|