Only keeping PLIST values whose car is in the ALL-PARAMETERS list
The remaining values are added at this step
Method for adding new
DONE 4. Funneling new
The Steps
DONE 5. Validation
DONE 6. Final Output
The current parser design needs to be changed in a few places to accommodate enumerated parameters.
Furthermore, the current processing pipeline is making mistakes while reading negated parameters.
RESOLVE-PARAMETER-ALIST takes a PSPEC and a PLIST, then overrides the PLIST according to PSPEC after which the overridden PLIST is validated.
Previously, we didn't have syntactic sugar in the form of "p!" and "_".
This processing is happening in multiple places, which is causing problems.
First, we will fetch the base parameter alist of the PSPEC.
This will reuse the old functions with slight modification.
Both the base parameter alist and the PLIST will be processed to convert syntactic sugar into a proper parameter alist.
Again, the same function will be used with a few small changes.
A proper parameter alist is one of the form ~'((PSYM VAL) (PSYM VAL) ...)~ where the ~PSYM~ is not of the form ~sym!~ and the ~VAL~ is not of the form ~_~ or ~!~.
(CHANGED)PSYM of the form p! will throw an error if they are in a cell,
return ~(p . %match-none)~ otherwise.
PSYM are turned into cons cells of the form (PSYM . %match-any)
(list PSYM VAL) are turned into (PSYM . VAL)
Syntactic sugar in VAL is first converted to %match-any and %match-none.
(NEW) Contraction: if many PSYM match, we will first remove duplicates.
more than 2 remain: DUPLICATE error is thrown.
2 remain, one is ~%match-any~: the value becomes the other value
2 remain, none is %match-any~: ~DUPLICATE error is thrown.
The resulting list will be validated at this phase itself.
This is done at step 5 of processing through the contraction.
The function fetching all parameters works fine. No changes are needed.
In the future, it might be worth getting dependency parameters too.
negation is supported: %match-none is added
negation is NOT supported: %match-all is added
This is a new step in the process where ~%match-any~ and ~%match-none~ values will be converted to proper values in steps.
SUB-PLIST~: the sublist of ~PLIST with cons cells whose cdr is either %match-any or %match-none.
%match-none~: all the ~%match-none are converted to the proper negated values. If negation is not supported
REQUIRED~: first and foremost, the ~REQUIRED values are funneled.
~ONE-OF~: for the remaining values, the default (first) value is tried first.
Binary types are put into an "inactive" list, while the remaining are permuted until a satisfactory value is reached.
The final ~PLIST~ is checked for ~LOGIC~, ~DUPLICATION~ and ~COVERAGE~.
The same procedures can be used but with some functionality removed.
If the complete ~PLIST~ fails the final validation check, an error will be signaled and the base parameter alist will be returned. Otherwise, the final ~PLIST~ is returned.
