Home
XT Tools
Reference Docs
GPP
ATerm
SDF
AsFix
Languages
Stratego
SDF
ATerm
Software
Stratego/XT
SDF2 Bundle
KoalaCompiler
AutoBundle
AutoBuild
DailyBuildSystem
Searched:
Rtg *To *Type *Match[^A-Za-z]
Results from Tools web
RtgToTypeMatch
MartinBravenboer
29 Jan 2005 - 14:47
- r1.5
Introduction rtg2typematch is a tool for generating a duck-typing-based strategies that check if an ATerm is of a type as defined in an RTG. An example will make ...
Number of topics:
1