23 |
import string |
import string |
24 |
|
|
25 |
settings = { |
settings = { |
|
'to_root': '../../', |
|
26 |
'javadoc': 'doc/javadoc', |
'javadoc': 'doc/javadoc', |
27 |
} |
} |
28 |
|
|
679 |
"-xborder", 0, "-yborder", 0]] |
"-xborder", 0, "-yborder", 0]] |
680 |
|
|
681 |
def run(prefix): |
def run(prefix): |
682 |
s = open(prefix+".uml").read() |
#Runs metapost in the tmpdir (to store all output data there) |
683 |
|
current_path = os.path.abspath("") |
684 |
|
if settings.has_key('tmpdir'): |
685 |
|
os.chdir(os.path.abspath(settings['tmpdir'])) |
686 |
|
|
687 |
|
s = open(prefix+".uml").read() |
688 |
l = parseIndented(s) |
l = parseIndented(s) |
689 |
m = mplist(l) |
m = mplist(l) |
690 |
|
|
704 |
end |
end |
705 |
""" % locals()) |
""" % locals()) |
706 |
|
|
|
|
|
707 |
assert not os.spawnlp(os.P_WAIT, |
assert not os.spawnlp(os.P_WAIT, |
708 |
"/usr/bin/mpost", "/usr/bin/mpost", prefix+".gen3") |
"/usr/bin/mpost", "/usr/bin/mpost", prefix+".gen3") |
709 |
|
|
740 |
<BODY> |
<BODY> |
741 |
<P> |
<P> |
742 |
%(prefix)s<BR> |
%(prefix)s<BR> |
743 |
<OBJECT data="%(filename)s" type="image/png" usemap="#map1"> |
<OBJECT data="%(filename)s" type="image/png" usemap="map1"> |
744 |
<map name="map1"> |
<map name="map1"> |
745 |
%(links)s |
%(links)s |
746 |
</map> |
</map> |
751 |
"filename": prefix+".png", |
"filename": prefix+".png", |
752 |
"links": " ".join([l.imgmapanchor() for l in links]) } |
"links": " ".join([l.imgmapanchor() for l in links]) } |
753 |
open(prefix+".html", "w").write(htmlcode) |
open(prefix+".html", "w").write(htmlcode) |
754 |
|
|
755 |
|
#Returning back to the current directory |
756 |
|
os.chdir(current_path) |