INTERFACE ParseEnergyParams; IMPORT Scan, Wr; IMPORT MixedEnergy; PROCEDURE Mixed(): MixedEnergy.T RAISES {Scan.BadFormat}; (* Parses an energy combination from the command line parameters. Must be called between "ParseParams.BeginParsing" and "ParseParams.EndParsing". The syntax is | [ -curvEnergy ] | [ -cornerEnergy ] | [ -electEnergy [ -alpha ] ] | [ -excenEnergy ] | [ -elastEnergy ] | [ -patchAreaEnergy [ -nPatches ] [ -area ] ] If no terms are specified returns NIL. *) PROCEDURE PrintHelp(wr: Wr.T); (* Prints the syntax as above. *) END ParseEnergyParams.