pat edit



next up previous contents
Next: name edit Up: The descriptor-menu Previous: The descriptor-menu

pat edit

With pat edit you enter edit-mode in which you can edit the constraint patterns like ordinary field-values (see section 2.2.4 on updating). The only difference is that you can only enter valid regular expressions. You can't make Jinx accept illegal regular expressions.



LOTOS TOOLS in TWENTE
Fri Oct 7 13:30:15 MET 1994