[gps-devel] SPARK

[Rod Chapman]

>=20Is=20there=20a=20way=20for=20GPS=20to=20recognize=20SPARK=20annotation=
s=20("--#")=20
>=20and=20then=20parse=20what=20follows=20into=20something=20sensible?=20I=
s=20this=20
>=20something=20that=20a=20user=20can=20set=20up=20or=20would=20it=20requi=
re=20some=20
>=20development=20work?

Martin,
=20We=20are=20currrently=20considering=20a=20SPARK=20customization=20for
GPS.=20=20Please=20watch=20this=20space=20for=20further=20announcements.

Please=20define=20"something=20sensible"..there=20are=20various=20levels
of=20support=20for=20SPARK=20Annotations=20within=20GPS=20that=20could
be=20imagined.=20=20Simple=20syntax=20highlighting=20is=20on=20obvious=20f=
irst
step.=20=20Semantic=20browsing=20is=20more=20tricky=20-=20for=20entities=20=
which
are=20real=20Ada=20objects=20(i.e.=20concrete=20own=20variables)=20this=20=
could
probably=20be=20made=20to=20work.=20=20For=20SPARK=20abstract=20own=20vari=
ables,=20
which=20would=20be=20far=20harder,=20since=20GPS=20has=20no=20knowledge=20=
of
what=20a=20SPARK=20abstract=20own=20variable=20is!

We=20hope=20to=20release=20our=20initial=20efforts=20soon,=20and=20we=20wo=
uld
welcome=20further=20ideas=20and=20contributions.

=20-=20Rod


**********************************************************************
This=20email=20and=20any=20files=20transmitted=20with=20it=20are=20confide=
ntial=20and
intended=20solely=20for=20the=20use=20of=20the=20individual=20or=20entity=20=
to=20whom=20they
are=20addressed.=20If=20you=20have=20received=20this=20email=20in=20error=20=
please=20notify
the=20system=20manager.=20=20The=20IT=20Department=20at=20Praxis=20Critica=
l=20Systems=20can=20be=20contacted=20at=20it.support@praxis-cs.co.uk
This=20footnote=20also=20confirms=20that=20this=20email=20message=20has=20=
been=20swept=20by
MIMEsweeper=20for=20the=20presence=20of=20computer=20viruses.
www.mimesweeper.com
**********************************************************************


________________________________________________________________________
This=20e-mail=20has=20been=20scanned=20for=20all=20viruses=20by=20Star=20I=
nternet.=20The
service=20is=20powered=20by=20MessageLabs.=20For=20more=20information=20on=
=20a=20proactive
anti-virus=20service=20working=20around=20the=20clock,=20around=20the=20gl=
obe,=20visit:
http://www.star.net.uk
________________________________________________________________________