Procedure header in .rb must exist and match Operation header in .co (or .en)

rhit-csse-projects / RESOLVE

RESOLVE (REusable SOftware Language with VErification) is a specification and programming language designed for verifying correctness of object oriented programs.

https://www.cs.clemson.edu/resolve/

BSD 3-Clause "New" or "Revised" License

0 stars 0 forks source link

Procedure header in .rb must exist and match Operation header in .co (or .en) #14

Open drholly77 opened 1 month ago

drholly77 commented 1 month ago

To be checked:

For each Operation header in a .co (or .en) file there must be a corresponding (and matching) Procedure header in the .rb file that is providing the realization for the .co (or .en)
There are some special exceptions for parameter modes, for these exceptions see Issues #12 and #13

Compiler error:

Generate a compiler error message if this check fails

Note:

.rb files may contain additional Procedures that are not defined in the .co (or .en)