#include <assert.h>
#include <memory.h>
#include <math.h>
+#include "../mem.h"
#include "../q.h"
#include "poly.h"
#include "active.h"
#include "xrow.h"
-#define DEBUG
+//#define DEBUG
+//#undef assert
+//#define assert(x)
char point_equals(const void*o1, const void*o2)
{
int y;
actlist_t*actlist;
heap_t*queue;
+ edge_t*output;
#ifdef DEBUG
dict_t*seen_crossings; //list of crossing we saw so far
dict_t*intersecting_segs; //list of segments intersecting in this scanline
return 1;
} else if(a->p.y > b->p.y) {
return -1;
+ /* we should schedule start events after end/intersect.
+ The order of end/intersect doesn't actually matter, however,
+ so this might be doing too much */
} else if(a->type < b->type) {
return 1;
} else if(a->type > b->type) {
}
void gfxpoly_destroy(gfxpoly_t*poly)
{
- segment_t* s = poly;
+ edge_t* s = poly;
while(s) {
- segment_t*right = s->right;
+ edge_t*next = s->next;
free(s);
- s = right;
- if(s==poly)
- break;
+ s = next;
}
}
void gfxpoly_dump(gfxpoly_t*poly)
{
- segment_t* s = (segment_t*)poly;
+ edge_t* s = (edge_t*)poly;
while(s) {
- printf("[%d] (%d,%d) -> (%d,%d) %s\n",
- s->nr, s->a.x, s->a.y, s->b.x, s->b.y,
- s->dir==DIR_UP?"up":"down");
- s = s->right;
- if(s==poly)
- break;
+ fprintf(stderr, "(%d,%d) -> (%d,%d)\n", s->a.x, s->a.y, s->b.x, s->b.y);
+ s = s->next;
}
}
void event_dump(event_t*e)
{
if(e->type == EVENT_START) {
- printf("event: segment [%d] starts at (%d,%d)\n", e->s1->nr, e->p.x, e->p.y);
+ fprintf(stderr, "event: segment [%d] starts at (%d,%d)\n", e->s1->nr, e->p.x, e->p.y);
} else if(e->type == EVENT_END) {
- printf("event: segment [%d] ends at (%d,%d)\n", e->s1->nr, e->p.x, e->p.y);
+ fprintf(stderr, "event: segment [%d] ends at (%d,%d)\n", e->s1->nr, e->p.x, e->p.y);
} else if(e->type == EVENT_CROSS) {
- printf("event: segment [%d] and [%d] intersect at (%d,%d)\n", e->s1->nr, e->s2->nr, e->p.x, e->p.y);
- } else assert(0);
+ fprintf(stderr, "event: segment [%d] and [%d] intersect at (%d,%d)\n", e->s1->nr, e->s2->nr, e->p.x, e->p.y);
+ } else {
+ assert(0);
+ }
}
static inline max32(int32_t v1, int32_t v2) {return v1>v2?v1:v2;}
dict_init2(&s->scheduled_crossings, &ptr_type, 0);
}
-segment_t*segment_new(int x1, int y1, int x2, int y2)
+segment_t* segment_new(int32_t x1, int32_t y1, int32_t x2, int32_t y2)
{
- segment_t*s = malloc(sizeof(segment_t));
+ segment_t*s = (segment_t*)rfx_calloc(sizeof(segment_t));
segment_init(s, x1, y1, x2, y2);
return s;
}
-
-void segment_insert_before(segment_t**list, segment_t*add)
+void segment_destroy(segment_t*s)
{
- if(!*list) {
- *list = add;
- add->left = add->right = add;
- } else {
- add->left = (*list)->left;
- add->right = (*list);
- add->right->left = add;
- add->left->right = add;
- }
+ dict_clear(&s->scheduled_crossings);
+ free(s);
}
-void segments_enqueue(segment_t*list, heap_t*queue)
+void gfxpoly_enqueue(edge_t*list, heap_t*queue)
{
- segment_t*l = list;
+ edge_t*l = list;
while(l) {
- segment_t*right = l->right;
- l->left = l->right = 0;
+ segment_t*s = segment_new(l->a.x, l->a.y, l->b.x, l->b.y);
+#ifdef DEBUG
+ fprintf(stderr, "[%d] (%d,%d) -> (%d,%d) %s\n",
+ s->nr, s->a.x, s->a.y, s->b.x, s->b.y,
+ s->dir==DIR_UP?"up":"down");
+#endif
event_t e = event_new();
e.type = EVENT_START;
- e.p = l->a;e.s1 = l;e.s2 = 0;
+ e.p = s->a;
+ e.s1 = s;
+ e.s2 = 0;
heap_put(queue, &e);
- e.type = EVENT_END;
- e.p = l->b;e.s1 = l;e.s2 = 0;
- heap_put(queue, &e);
- l = right;
- if(l==list) break;
+ l = l->next;
}
}
-void schedule_crossing(status_t*status, segment_t*s1, segment_t*s2, int miny)
+void schedule_endpoint(status_t*status, segment_t*s)
+{
+ // schedule end point of segment
+ assert(s->b.y > status->y);
+ event_t e;
+ e.type = EVENT_END;
+ e.p = s->b;
+ e.s1 = s;
+ e.s2 = 0;
+ heap_put(status->queue, &e);
+}
+
+void schedule_crossing(status_t*status, segment_t*s1, segment_t*s2)
{
/* the code that's required (and the checks you can perform) before
it can be said with 100% certainty that we indeed have a valid crossing
amazes me every time. -mk */
assert(s1!=s2);
- if(dict_contains(&s1->scheduled_crossings, s2)) {
- // we already know about this one
- return;
- }
-
/* we probably could precompute these */
int32_t minx1 = min32(s1->a.x,s1->b.x);
int32_t miny1 = min32(s1->a.y,s1->b.y);
int32_t miny2 = min32(s2->a.y,s2->b.y);
int32_t maxx2 = max32(s2->a.x,s2->b.x);
int32_t maxy2 = max32(s2->a.y,s2->b.y);
-
+
+ /* both segments are active, so this can't happen */
+ assert(!(maxy1 <= miny2 || maxy2 <= miny1));
+
+ /* TODO: optimize this. remove y, precompute the two x values */
if(maxx1 <= minx2 || maxx2 <= minx1 ||
maxy1 <= miny2 || maxy2 <= miny1) {
/* bounding boxes don't intersect */
return;
}
+
+ if(dict_contains(&s1->scheduled_crossings, s2)) {
+ // we already know about this one
+ return;
+ }
+
double adx = s1->delta.x;
double ady = s1->delta.y;
double bdx = s2->delta.x;
if(!det) {
if(s1->k == s2->k) {
// lines are exactly on top of each other (ignored)
+#ifdef DEBUG
fprintf(stderr, "Notice: segments [%d] and [%d] are exactly on top of each other\n", s1->nr, s2->nr);
+#endif
return;
} else {
/* lines are parallel */
point_t p;
p.x = (int32_t)ceil((-la*bdx +lb*adx) / det);
p.y = (int32_t)ceil((+lb*ady -la*bdy) / det);
- /* we only schedule crossings if they are *after* the current y. That way, we don't
- schedule the same crossing twice */
- if(p.y >= miny) {
-#ifdef DEBUG
- point_t pair;
- pair.x = s1->nr;
- pair.y = s2->nr;
- assert(!dict_contains(status->seen_crossings, &pair));
- dict_put(status->seen_crossings, &pair, 0);
-#endif
- event_t e = event_new();
- e.type = EVENT_CROSS;
- e.p = p;
- e.s1 = s1;
- e.s2 = s2;
+
+ assert(p.y >= status->y);
#ifdef DEBUG
- printf("schedule crossing between [%d] and [%d] at (%d,%d)\n", s1->nr, s2->nr, e.p.x, e.p.y);
+ point_t pair;
+ pair.x = s1->nr;
+ pair.y = s2->nr;
+ assert(!dict_contains(status->seen_crossings, &pair));
+ dict_put(status->seen_crossings, &pair, 0);
+ fprintf(stderr, "schedule crossing between [%d] and [%d] at (%d,%d)\n", s1->nr, s2->nr, p.x, p.y);
#endif
- /* we insert into each other's intersection history because these segments might switch
- places */
- dict_put(&s1->scheduled_crossings, s2, 0);
- dict_put(&s2->scheduled_crossings, s1, 0);
- heap_put(status->queue, &e);
- }
- return;
-}
+ /* we insert into each other's intersection history because these segments might switch
+ places and we still want to look them up quickly after they did */
+ dict_put(&s1->scheduled_crossings, s2, 0);
+ dict_put(&s2->scheduled_crossings, s1, 0);
-/* routine dealing with the special case of a number of line segments intersecting in exactly one
- point */
-void exchange_many(status_t*status, event_t*e)
-{
- int size = 16;
- int n = 0;
- segment_t**segs = (segment_t**)malloc(sizeof(segment_t*)*size);
- segs[n] = e->s1;e->s1->tmp = n;n++;
- segs[n] = e->s2;e->s2->tmp = n;n++;
-#ifdef DEBUG
- dict_put(status->intersecting_segs, e->s1, 0);
- dict_put(status->intersecting_segs, e->s2, 0);
-#endif
- while(1) {
- event_t*ee = heap_peek(status->queue);
- if(ee->p.x != e->p.x ||
- ee->p.y != e->p.y ||
- ee->type != e->type) {
- break;
- }
- if(n>=size-1) {
- size *= 2;
- segs = realloc(segs, sizeof(segment_t*)*size);
- }
- ee = heap_chopmax(status->queue);
- if(ee->s1->tmp<0) {
- segs[n] = ee->s1;ee->s1->tmp = n;n++;
- }
- if(ee->s2->tmp<0) {
- segs[n] = ee->s2;ee->s2->tmp = n;n++;
- }
-#ifdef DEBUG
- dict_put(status->intersecting_segs, ee->s1, 0);
- dict_put(status->intersecting_segs, ee->s2, 0);
-#endif
- }
- int t;
-#ifdef DEBUG
- printf("event: multi-intersect: ");
- for(t=0;t<n;t++) {
- printf("[%d] ", segs[t]->nr);
- }
- printf("\n");
-#endif
- segment_t*left = 0;
- segment_t*right = 0;
- char warn = 0;
- for(t=0;t<n;t++) {
- if(!segs[t]->left || segs[t]->left->tmp<0) {
- assert(!left);
- left = segs[t];
- }
- if(!segs[t]->right || segs[t]->right->tmp<0) {
- assert(!right);
- right = segs[t];
- }
- if(segs[t]->tmp<0)
- warn = 1;
- }
- if(warn)
- fprintf(stderr, "Warning: multi-cross section contains rogue segments\n");
-
- assert(left);
- assert(right);
- assert(left!=right);
- actlist_invert_fromto(status->actlist, left, right);
- for(t=0;t<n;t++) {
- segs[t]->tmp = -1;
- }
- free(segs);
- if(right->left)
- schedule_crossing(status, right->left, right, status->y);
- if(left->right)
- schedule_crossing(status, left, left->right, status->y);
+ event_t e = event_new();
+ e.type = EVENT_CROSS;
+ e.p = p;
+ e.s1 = s1;
+ e.s2 = s2;
+ heap_put(status->queue, &e);
+ return;
}
void exchange_two(status_t*status, event_t*e)
segment_t*s1 = e->s1;
segment_t*s2 = e->s2;
#ifdef DEBUG
- dict_put(status->intersecting_segs, s1, 0);
- dict_put(status->intersecting_segs, s2, 0);
+ if(!dict_contains(status->intersecting_segs, s1))
+ dict_put(status->intersecting_segs, s1, 0);
+ if(!dict_contains(status->intersecting_segs, s2))
+ dict_put(status->intersecting_segs, s2, 0);
#endif
segment_t*left = actlist_left(status->actlist, s2);
segment_t*right = actlist_right(status->actlist, s1);
left = actlist_left(status->actlist, s2);
right = actlist_right(status->actlist, s1);
if(left)
- schedule_crossing(status, left, s2, status->y);
+ schedule_crossing(status, left, s2);
if(right)
- schedule_crossing(status, s1, right, status->y);
+ schedule_crossing(status, s1, right);
}
-void insert_point_into_segment(segment_t*s, point_t p)
+void insert_point_into_segment(status_t*status, segment_t*s, point_t p)
{
- if(s->pos.x == p.x && s->pos.y == p.y) {
#ifdef DEBUG
- fprintf(stderr, "Notice: tried to add (%d,%d) to segment [%d] twice\n", p.x, p.y, s->nr);
-#endif
- return;
+ if(s->pos.x == p.x && s->pos.y == p.y) {
+ fprintf(stderr, "Error: tried to add (%d,%d) to segment [%d] twice\n", p.x, p.y, s->nr);
}
+#endif
+ assert(s->pos.x != p.x || s->pos.y != p.y);
#ifdef DEBUG
- printf("[%d] gets extra point (%d,%d)\n", s->nr, p.x, p.y);
+ fprintf(stderr, "[%d] gets extra point (%d,%d)\n", s->nr, p.x, p.y);
#endif
+
+ edge_t*e = malloc(sizeof(edge_t));
+ e->a = s->pos;
+ e->b = p;
+ e->next = status->output;
+ status->output = e;
+
s->pos = p;
}
#ifdef DEBUG
dict_put(status->segs_with_point, seg, 0);
#endif
- insert_point_into_segment(seg, box.right2);
+ insert_point_into_segment(status, seg, box.right2);
} else {
break;
}
#ifdef DEBUG
dict_put(status->segs_with_point, seg, 0);
#endif
- insert_point_into_segment(seg, box.right2);
+ insert_point_into_segment(status, seg, box.right2);
} else {
break;
}
switch(e->type) {
case EVENT_END: {
//delete segment from list
- event_dump(e);
segment_t*s = e->s1;
- insert_point_into_segment(s, s->b);
+#ifdef DEBUG
+ event_dump(e);
+ dict_del(status->intersecting_segs, s);
+ dict_del(status->segs_with_point, s);
+ assert(!dict_contains(status->intersecting_segs, s));
+ assert(!dict_contains(status->segs_with_point, s));
+#endif
+ insert_point_into_segment(status, s, s->b);
segment_t*left = actlist_left(status->actlist, s);
segment_t*right = actlist_right(status->actlist, s);
actlist_delete(status->actlist, s);
- dict_clear(&s->scheduled_crossings);
if(left && right)
- schedule_crossing(status, left, right, status->y+1);
+ schedule_crossing(status, left, right);
+ segment_destroy(s);e->s1=0;
break;
}
case EVENT_START: {
//insert segment into list
+#ifdef DEBUG
event_dump(e);
+#endif
segment_t*s = e->s1;
actlist_insert(status->actlist, e->p, s);
segment_t*left = actlist_left(status->actlist, s);
segment_t*right = actlist_right(status->actlist, s);
if(left)
- schedule_crossing(status, left, s, status->y+1);
+ schedule_crossing(status, left, s);
if(right)
- schedule_crossing(status, s, right, status->y+1);
+ schedule_crossing(status, s, right);
+
+ schedule_endpoint(status, e->s1);
break;
}
case EVENT_CROSS: {
// exchange two (or more) segments
- event_t*ee = heap_peek(status->queue);
- if(ee->p.x != e->p.x ||
- ee->p.y != e->p.y ||
- ee->type != e->type) {
- event_dump(e);
+ if(actlist_right(status->actlist, e->s1) == e->s2 &&
+ actlist_left(status->actlist, e->s2) == e->s1) {
exchange_two(status, e);
} else {
- exchange_many(status, e);
+ /* ignore this crossing for now (there are some line segments in between).
+ it'll get rescheduled as soon as the "obstacles" are gone */
+ char del1 = dict_del(&e->s1->scheduled_crossings, e->s2);
+ char del2 = dict_del(&e->s2->scheduled_crossings, e->s1);
+ assert(del1 && del2);
+#ifdef DEBUG
+ point_t pair;
+ pair.x = e->s1->nr;
+ pair.y = e->s2->nr;
+ assert(dict_contains(status->seen_crossings, &pair));
+ dict_del(status->seen_crossings, &pair);
+#endif
}
}
}
void check_status(status_t*status)
{
DICT_ITERATE_KEY(status->intersecting_segs, segment_t*, s) {
- if(!dict_contains(status->segs_with_point, s)) {
+ if((s->pos.x != s->b.x ||
+ s->pos.y != s->b.y) &&
+ !dict_contains(status->segs_with_point, s)) {
fprintf(stderr, "Error: segment [%d] (%sslope) intersects in scanline %d, but it didn't receive a point\n",
s->nr,
s->delta.x<0?"-":"+",
}
#endif
-void gfxpoly_process(segment_t*poly)
+edge_t* gfxpoly_process(edge_t*poly)
{
heap_t* queue = heap_new(sizeof(event_t), compare_events);
- segments_enqueue(poly, queue);
+ gfxpoly_enqueue(poly, queue);
status_t status;
memset(&status, 0, sizeof(status_t));
status.queue = queue;
status.actlist = actlist_new();
#ifdef DEBUG
status.seen_crossings = dict_new2(&point_type);
+ gfxpoly_dump(poly);
#endif
xrow_t*xrow = xrow_new();
#ifdef DEBUG
status.intersecting_segs = dict_new2(&ptr_type);
status.segs_with_point = dict_new2(&ptr_type);
- printf("----------------------------------- %d\n", status.y);
+ fprintf(stderr, "----------------------------------- %d\n", status.y);
actlist_verify_and_dump(status.actlist, status.y-1);
#endif
xrow_reset(xrow);
#ifdef DEBUG
dict_destroy(status.seen_crossings);
#endif
+ actlist_destroy(status.actlist);
heap_destroy(queue);
- gfxpoly_destroy(poly);
xrow_destroy(xrow);
+
+ return status.output;
}
gfxline_t*l=0,*line = 0;
int x;
for(x=x1;x<=x2;x+=50) {
- l = malloc(sizeof(gfxline_t));
+ l = rfx_calloc(sizeof(gfxline_t));
l->type = gfx_moveTo;
l->x = x;l->y = y1;
line = gfxline_append(line, l);
- l = malloc(sizeof(gfxline_t));
+ l = rfx_calloc(sizeof(gfxline_t));
l->type = gfx_lineTo;
l->x = x2-x;l->y = y2;
line = gfxline_append(line, l);
int test1()
{
gfxline_t*box1 = gfxline_makerectangle(50,50,150,150);
-
// put box2 and box3 on top of each other *snicker*
gfxline_t*box2 = gfxline_makerectangle(100,100,200,200);
gfxline_t*box3 = gfxline_makerectangle(100,100,200,200);
gfxline_free(box1);
gfxline_free(box2);
gfxline_free(box3);
+ gfxline_free(star);
gfxpoly_dump(poly);
gfxpoly_process(poly);
int test2()
{
-#define N 1000
+#define N 50
+#define RANGE 150
int t;
gfxline_t* line = malloc(sizeof(gfxline_t)*N);
for(t=0;t<N;t++) {
line[t].type = t?gfx_lineTo:gfx_moveTo;
- line[t].x = lrand48()%65536;
- line[t].y = lrand48()%65536;
+ line[t].x = (lrand48()%RANGE)-RANGE/2;
+ line[t].y = (lrand48()%RANGE)-RANGE/2;
line[t].next = &line[t+1];
}
line[N-1].x = line[0].x;
line[N-1].next = 0;
gfxpoly_t*poly = gfxpoly_fillToPoly(line);
- gfxpoly_dump(poly);
- gfxpoly_process(poly);
+ gfxpoly_t*poly2 = gfxpoly_process(poly);
gfxline_free(line);
+ gfxpoly_destroy(poly);
+ gfxpoly_destroy(poly2);
+}
+
+#include "../rfxswf.h"
+void test3()
+{
+#undef N
+#undef RANGE
+#define N 250
+#define RANGE 150
+
+ int i;
+ gfxline_t* line = malloc(sizeof(gfxline_t)*N);
+ for(i=0;i<N;i++) {
+ line[i].type = i?gfx_lineTo:gfx_moveTo;
+ line[i].x = lrand48()%RANGE - RANGE/2;
+ line[i].y = lrand48()%RANGE - RANGE/2;
+ line[i].next = &line[i+1];
+ }
+ line[N-1].x = line[0].x;
+ line[N-1].y = line[0].y;
+ line[N-1].next = 0;
+
+ gfxmatrix_t m;
+ memset(&m, 0, sizeof(m));
+
+ SWF swf;
+ memset(&swf, 0, sizeof(SWF));
+ swf.movieSize.xmax = RANGE*20*1.41;
+ swf.movieSize.ymax = RANGE*20*1.41;
+ swf.fileVersion = 9;
+ swf.frameRate = 25*0x100;
+ TAG * tag = swf.firstTag = swf_InsertTag(0, ST_SETBACKGROUNDCOLOR);
+ swf_SetU8(tag, 0);
+ swf_SetU8(tag, 0);
+ swf_SetU8(tag, 0);
+
+ int t;
+ for(t=0;t<360;t++) {
+ m.m00 = cos(t*M_PI/180.0);
+ m.m01 = sin(t*M_PI/180.0);
+ m.m10 = -sin(t*M_PI/180.0);
+ m.m11 = cos(t*M_PI/180.0);
+ m.tx = RANGE*1.41/2;
+ m.ty = RANGE*1.41/2;
+ gfxline_t*l = gfxline_clone(line);
+ gfxline_transform(l, &m);
+
+ gfxpoly_t*poly = gfxpoly_fillToPoly(l);
+ gfxpoly_t*poly2 = gfxpoly_process(poly);
+
+ tag = swf_InsertTag(tag, ST_DEFINESHAPE);
+ SHAPE* s;
+ swf_ShapeNew(&s);
+ RGBA rgb;
+ rgb.r = rgb.g = 0x00; rgb.b = 0xff;
+ rgb.a = 255;
+ int j = swf_ShapeAddSolidFillStyle(s,&rgb);
+ swf_SetU16(tag,t+1);
+ swf_SetRect(tag,&swf.movieSize);
+ swf_SetShapeHeader(tag,s);
+ swf_ShapeSetAll(tag,s,0,0,0,j,0);
+ edge_t*e = poly2;
+ while(e) {
+ swf_ShapeSetMove(tag, s, e->a.x*20, e->a.y*20);
+ swf_ShapeSetLine(tag, s, e->b.x*20 - e->a.x*20, e->b.y*20 - e->a.y*20);
+ e = e->next;
+ }
+ swf_ShapeSetEnd(tag);
+ swf_ShapeFree(s);
+
+ gfxpoly_destroy(poly);
+ gfxpoly_destroy(poly2);
+
+ gfxline_free(l);
+
+ if(t) {
+ tag = swf_InsertTag(tag,ST_REMOVEOBJECT2);
+ swf_SetU16(tag, t);
+ }
+ tag = swf_InsertTag(tag,ST_PLACEOBJECT2);
+ swf_ObjectPlace(tag,t+1,t+1,NULL,NULL,NULL);
+
+ tag = swf_InsertTag(tag, ST_SHOWFRAME);
+ }
+ tag = swf_InsertTag(tag, ST_END);
+
+ swf_SaveSWF(&swf, "test.swf");
}
int main()
{
- test2();
+ test3();
}