-
Notifications
You must be signed in to change notification settings - Fork 1
Specific formats invariants
Juan Carlos Alonso Valenzuela edited this page May 22, 2023
·
1 revision
This section enumerates all the invariants of the Array properties category. Please refer to Section Added invariants of this Wiki for a description of each one of these invariants.
- daikon.inv.unary.string.IsUrl
- daikon.inv.unary.string.FixedLengthString
- daikon.inv.unary.string.IsNumeric
- daikon.inv.unary.string.IsEmail
- daikon.inv.unary.string.dates.IsDateYYYYMMDD
- daikon.inv.unary.string.dates.IsDateDDMMYYYY
- daikon.inv.unary.string.dates.IsDateMMDDYYYY
- daikon.inv.unary.string.dates.IsHour
- daikon.inv.unary.string.dates.IsHourWithSeconds
- daikon.inv.unary.string.dates.IsHourAMPM
- daikon.inv.unary.string.dates.IsTimestampYYYYMMHHThhmmssmm
- daikon.inv.unary.stringsequence.SequenceFixedLengthString
- daikon.inv.unary.stringsequence.SequenceStringElementsAreUrl
- daikon.inv.unary.stringsequence.SequenceStringElementsAreNumeric
- daikon.inv.unary.stringsequence.SequenceStringElementsAreEmail
- daikon.inv.unary.stringsequence.dates.SequenceStringElementsAreDateYYYYMMDD
- daikon.inv.unary.stringsequence.dates.SequenceStringElementsAreDateDDMMYYYY
- daikon.inv.unary.stringsequence.dates.SequenceStringElementsAreDateMMDDYYYY
- daikon.inv.unary.stringsequence.dates.SequenceStringElementsAreHour
- daikon.inv.unary.stringsequence.dates.SequenceStringElementsAreHourWithSeconds
- daikon.inv.unary.stringsequence.dates.SequenceStringElementsAreHourAMPM
- daikon.inv.unary.stringsequence.dates.SequenceStringElementsAreTimestampYYYYMMHHThhmmssmm