Class PatternProp

    • Constructor Detail

      • PatternProp

        public PatternProp()
        Constructor without name.
      • PatternProp

        public PatternProp​(Atom name)
        Constructor with a name.
      • PatternProp

        public PatternProp​(Atom name,
                           java.lang.String pattern)
        Constructor with a name and a simple pattern.
        Parameters:
        pattern - The pattern to set without tags.
      • PatternProp

        public PatternProp​(Atom name,
                           PlainKString pattern)
        Constructor with a name and a pattern.
        Parameters:
        pattern - The pattern to set.
    • Method Detail

      • verify

        public void verify​(PropVerification verification)
        Verifies this property. The check performed is the extension of classes and that no circular reference is present.
        Specified by:
        verify in interface IGProp<KString>
        Overrides:
        verify in class KStringProp
        Parameters:
        verification - The property verification class.