GeoDocument a specialized Document for GeoGraphy

Inherits from: Object : Document

GeoDocument extends Document by allowing to parse iXno language.

See also: Document

Important Issues

A GeoDocument is really just a Document. You can do all the things you do in the normal Document.

nevertheless its special "geographic" nature is marked by a specific color scheme.

In order to grab the current line (to catch the iXno code line), GeoDocument needs the getLine method.

Only one line can be evaluated at the moment. But you can:

- concatenate command as usual for iXno.

- use parse method

Creating a GeoDocument resizes and moves the Post Window, and changes its color scheme.

Creation / Class Methods

*new (graphParser, alpha)

The constructor.

graphParser - a graphParser. Needed in order to access to parsing functionalities.

alpha - alpha value for background transparency. Default value is 0.9.

Can be useful in order not to mask completely the Painter.

(

t = "

// Evaluate the following lines as usual

Server.local.boot ;

Sinusoider(r) ;

// Press Ctrl+P after the next line

e+ s100 0.1 s100 p+ s100

" ;

g = Graph.new ;

r = Runner.new(g) ;

p = Painter.new(g, r) ;

q = GraphParser(g,r,p).gui ;

a = GeoDocument.new(q).string_(t) ;

)