racr 0.0.0-akku.756.c7d3fe0
Reference Attribute Grammar Controlled Rewriting
$ akku update $ akku install racr $ .akku/env
Authors
Christoff Bürger
Uploaded to Akku by Göran Weinholt
License
MIT
Dependencies
No dependencies.
Source code
https://github.com/christoff-buerger/racr git
c7d3fe0f0645cf4f9f97f4c6a4ffa2346074ec40
Package contents
- (atomic-petrinets analyses) R6
- → specify-analyses pn :AtomicPetrinet :Place :Token :Transition :Arc ->Place* ->Transition* ->Token* ->In ->Out ->name ->value ->place ->consumers ->* <- =places =transitions =in-arcs =out-arcs =p-lookup =t-lookup =in-lookup =out-lookup =place =valid? =enabled? =executor
- ← (rnrs) R6
- ← (rnrs mutable-pairs) R6
- ← (racr core)
- (atomic-petrinets user-interface) R6
- → initialise-petrinet-language petrinet: transition: exception: fire-transition! run-petrinet! interpret-petrinet! petrinets-exception? assert-marking assert-enabled
- ← (rnrs) R6
- ← (rnrs mutable-pairs) R6
- ← (racr core)
- ← (racr testing)
- ← (atomic-petrinets analyses)
- (composed-petrinets analyses) R6
- → specify-analyses pn :AtomicPetrinet :Place :Token :Transition :Arc ->Place* ->Transition* ->Token* ->In ->Out ->name ->value ->place ->consumers ->* <- =places =transitions =in-arcs =out-arcs =p-lookup =t-lookup =in-lookup =out-lookup =place =valid? =enabled? =executor :ComposedNet :Glueing :Inport :Outport ->Port* ->Glueing* ->Net1 ->Net2 ->outport ->inport =ports =glueings =<-net =subnet-iter =inport? =outport? =find-subnet =inport =outport =glued? =fused-places
- ← (rnrs) R6
- ← (rnrs mutable-pairs) R6
- ← (racr core)
- (composed-petrinets user-interface) R6
- → initialise-petrinet-language petrinet: transition: compose-petrinets: run-petrinet! interpret-petrinet! assert-marking assert-enabled exception: fire-transition! petrinets-exception?
- ← (rnrs) R6
- ← (racr core)
- ← (atomic-petrinets user-interface)
- ← (composed-petrinets analyses)
- (questionnaires language) R6
- → ql Form If ?? ~? ~> ~! ~~ ->Body ->Expression ->Operands ->name ->label ->type ->value ->operator ->* <- index count =root =error-question =error-question? =g-Lookup =l-Lookup =type =valid? =l-valid? =s-expr =find-active =active? =shown? =value =dialog-type =dialog-printer =value-printer =widget =render Boolean Number String ErrorType && // != load-questionnaire save-questionnaire
- ← (rnrs) R6
- ← (rnrs eval) R6
- ← (compatibility mlist)
- ← (racr core)
- ← (racket base)
- ← (racket format)
- ← (racket class)
- ← (racket gui base)
- (siple access-support) R6
- → specify-access-support
- ← (rnrs) R6
- ← (racr core)
- (siple ast) R6
- → specify-ast
- ← (rnrs) R6
- ← (racr core)
- (siple control-flow-analysis) R6
- → specify-control-flow-analysis
- ← (rnrs) R6
- ← (racr core)
- (siple exception-api) R6
- → throw-siple-exception siple-exception?
- ← (rnrs) R6
- (siple interpreter) R6
- → weave-interpreter
- ← (rnrs) R6
- ← (racr core)
- ← (siple type)
- ← (siple state)
- ← (siple exception-api)
- (siple lexer) R6
- → token-source token-line token-column token-type token-value construct-lexer
- ← (rnrs) R6
- ← (siple exception-api)
- (siple main) R6
- → siple-specification siple-interpret
- ← (rnrs) R6
- ← (racr core)
- ← (siple exception-api)
- ← (siple type)
- ← (siple state)
- ← (siple lexer)
- ← (siple ast)
- ← (siple parser)
- ← (siple access-support)
- ← (siple name-analysis)
- ← (siple type-analysis)
- ← (siple type-coercion)
- ← (siple control-flow-analysis)
- ← (siple well-formedness)
- ← (siple interpreter)
- (siple name-analysis) R6
- → specify-name-analysis
- ← (rnrs) R6
- ← (racr core)
- (siple parser) R6
- → construct-parser
- ← (rnrs) R6
- ← (racr core)
- ← (siple exception-api)
- ← (siple type)
- ← (siple lexer)
- ← (siple type-coercion)
- (siple state) R6
- → make-state state-current-frame state-current-frame-set! state-output-port state-allocate state-access make-frame frame-procedure frame-closure frame-environment frame-environment-set! frame-return-value frame-return-value-set! make-memory-location memory-location-value memory-location-value-set!
- ← (rnrs) R6
- ← (racr core)
- (siple test-api) R6
- → test-lexer test-parser test-compiler
- ← (rnrs) R6
- ← (racr core)
- ← (racr testing)
- ← (siple lexer)
- ← (siple parser)
- ← (siple type)
- ← (siple main)
- (siple type-analysis) R6
- → specify-type-analysis
- ← (rnrs) R6
- ← (racr core)
- ← (siple type)
- (siple type-coercion) R6
- → perform-type-coercions specify-type-coercion
- ← (rnrs) R6
- ← (racr core)
- ← (siple type)
- (siple type) R6
- → type-rtype type-paras type-boolean? type-number? type-integer? type-real? type-pointer? type-procedure? type-undefined? type-error-type? type-boolean type-integer type-real type-pointer type-procedure type-undefined type-error-type type-eq? type-beq? type-pretty-print
- ← (rnrs) R6
- (siple well-formedness) R6
- → specify-well-formedness
- ← (rnrs) R6
- ← (racr core)
- ← (siple type)
- (ttc-2015-fuml-activity-diagrams language) R6
- → :Activity :Variable :ActivityEdge :ControlFlow :InitialNode :FinalNode :ForkNode :JoinNode :DecisionNode :MergeNode :ExecutableNode :UnaryExpression :BinaryExpression ->name ->initial ->source ->target =variables =edges =v-lookup =e-lookup =initial =valid? =v-accessor =petrinet Boolean Integer Undefined && // trace activate-tracing deactivate-tracing exception:
- ← (rnrs) R6
- ← (racr core)
- ← (atomic-petrinets analyses)
- (ttc-2015-fuml-activity-diagrams parser) R6
- → parse-diagram parse-diagram-input
- ← (rnrs) R6
- ← (ttc-2015-fuml-activity-diagrams language)
- (ttc-2015-fuml-activity-diagrams user-interface) R6
- → initialise-activity-diagram-language run-activity-diagram
- ← (rnrs) R6
- ← (racr core)
- ← (racr testing)
- ← (atomic-petrinets analyses)
- ← (atomic-petrinets user-interface)
- ← (ttc-2015-fuml-activity-diagrams language)
- ← (ttc-2015-fuml-activity-diagrams parser)
- (atomic-petrinets profiling) R6
- → initialise-petrinet-language make-profiling-net profile-net
- ← (rnrs) R6
- ← (racr core)
- ← (racr testing)
- ← (atomic-petrinets analyses)
- ← (atomic-petrinets user-interface)
- (profiling-scripts extract) R6
- → add-padding sort-rows ps:!= ps:== ps:< ps:> ps:<= ps:>= ps:min ps:max ps:MIN ps:MAX initialise unique-row? update-local-extremum update-global-extremum discard-row
- ← (rnrs) R6
- (calculator-scheme main) R6
- → :Calculator :Definition :Addition :Multiplication :Number :Constant ->Definition* ->Expression ->Op1 ->Op2 ->name ->value =lookup =eval number->const random random-integer make-profiling-ast
- ← (rnrs) R6
- ← (racr core)
- ← (racr testing)
- (racr core) R6
- → create-specification specification->phase specification->start-symbol specification->ast-rules specification->find-ast-rule ast-rule->symbolic-representation ast-rule->supertype? ast-rule->production symbol->name symbol->non-terminal? symbol->kleene? symbol->context-name symbol->attributes attribute->name attribute->circular? attribute->synthesized? attribute->inherited? attribute->cached? ast-rule compile-ast-specifications create-ast create-ast-list create-ast-bud create-ast-mockup ast-parent ast-child ast-sibling ast-children ast-for-each-child ast-find-child ast-find-child* ast-node? ast-specification ast-has-parent? ast-child-index ast-has-child? ast-num-children ast-has-sibling? ast-node-type ast-node-rule ast-list-node? ast-bud-node? ast-subtype? specify-attribute specify-pattern ag-rule compile-ag-specifications att-value rewrite-terminal rewrite-refine rewrite-abstract rewrite-subtree rewrite-add rewrite-insert rewrite-delete perform-rewrites create-transformer-for-pattern ast-annotation-set! ast-weave-annotations ast-annotation-remove! ast-annotation? ast-annotation with-specification with-bindings racr-exception? make-atom
- ← (rnrs) R6
- ← (rnrs mutable-pairs) R6
- (racr testing) R6
- → print-ast include assert-exception construct-reevaluation-tests
- ← (rnrs) R6
- ← (racr core)
- (racr-meta ast-annotation) R6
- → undefined-annotation? ast-annotation ast-annotation-set! ast-annotation-remove!
- ← (rnrs) R6
- ← (rnrs mutable-pairs) R6
- ← (racr-meta core)
- (racr-meta core) R6
- → create-specification specification->phase specification->start-symbol specification->ast-rules specification->find-ast-rule ast-rule->symbolic-representation ast-rule->supertype? ast-rule->production symbol->name symbol->non-terminal? symbol->kleene? symbol->context-name symbol->attributes attribute->name attribute->circular? attribute->synthesized? attribute->inherited? attribute->cached? ast-rule compile-ast-specifications create-ast create-ast-list create-ast-bud create-ast-mockup ast-parent ast-child ast-sibling ast-children ast-for-each-child ast-find-child ast-find-child* ast-node? ast-specification ast-has-parent? ast-child-index ast-has-child? ast-num-children ast-has-sibling? ast-node-type ast-node-rule ast-list-node? ast-bud-node? ast-subtype? specify-attribute ag-rule compile-ag-specifications att-in-evaluation? att-value rewrite-terminal rewrite-refine rewrite-abstract rewrite-subtree rewrite-add rewrite-insert rewrite-delete perform-rewrites with-specification throw-exception racr-exception? make-atom create-specification-2 racr-specification-2-ast-scheme ast-rule-2 specify-start-symbol-2 specify-attribute-2 compile-specification-2 create-ast-2 create-ast-list-2
- ← (rnrs) R6
- ← (rnrs mutable-pairs) R6
- (racr-meta patterns) R6
- → specify-pattern with-bindings create-transformer-for-pattern
- ← (rnrs) R6
- ← (racr-meta core)
- (racr-meta testing) R6
- → print-ast print-specification include assert-exception construct-reevaluation-tests
- ← (rnrs) R6
- ← (racr-meta core)
Version history
- 2018-04-07 ~ 0.0.0-akku.756.c7d3fe0