Skip to content

Instantly share code, notes, and snippets.

@fhpriamo

fhpriamo/validation-logics.txt

Last active September 24, 2020 02:52
Show Gist options
  • Save fhpriamo/a560b0efe7702118efb1591618031b8b to your computer and use it in GitHub Desktop.
Save fhpriamo/a560b0efe7702118efb1591618031b8b to your computer and use it in GitHub Desktop.
Download ZIP
Raw
validation-logics.txt
K --- Y // K e Y são opcionais; K e Y NÃO possuem quaisquer relações.
K === Y // K e Y são necessários; K e Y NÃO possuem quaisquer relações.
K --> Y // K e Y são opcionais; A presença de K demanda que Y esteja presente.
K --x Y // K e Y são opcionais; A presença de K demanda que Y NÃO esteja presente.
K ==x Y // K é necessário; A presença de K demanda que Y NÃO esteja presente (Y é proibido).
K ==> Y // K é necessário; A presença de K demanda que Y esteja presente (Y é necessário)
K <=> Y // K e Y são necessários; A presença de K demanda que Y esteja presente; A presença de Y demanda que K esteja presente.
K <-> Y // K e Y são opcionais; A presença de K demanda que Y esteja presente; A presença de Y demanda que K esteja presente.
K x-x Y // K e Y são opcionais; A presença de K demanda que Y NÃO esteja presente; A presença de Y demanda que K NÃO esteja presente.
K x=x Y // K e Y são proibidos; A presença de K demanda que Y NÃO esteja presente; A presença de Y demanda que K NÃO esteja presente.
L :: R // a expressão à esquerda (L) equivale à expressão (ou expressões) à direita (R).
o // elemento da coluna está presente.
x // elemento da coluna NÃO está presente.
X // resulta em violação das regras de validação.
- // resulta em nada (ambos fatores estão faltantes).
A // resulta em SOMENTE A.
B // resulta em SOMENTE B.
AB // resulta na combinação de A e B (ambos fatores estão presentes).
1) A --- B
A B |
----+---
o x | A
x o | B
o o | AB
x x | -
2) A === B :: A <== B :: A <=> B :: A ==> B
A B |
----+---
o x | X
x o | X
o o | AB
x x | X
3) A --> B
A B |
----+---
o x | X
x o | B
o o | AB
x x | -
4) A <-- B
A B |
----+---
o x | A
x o | X
o o | AB
x x | -
5) A ==x B
A B |
----+---
o x | A
x o | X
o o | X
x x | X
6) A x=x B
A B |
----+---
o x | X
x o | X
o o | X
x x | X
7) A x== B
A B |
----+---
o x | X
x o | B
o o | X
x x | Z
8) A x-- B :: A --x B
A B |
----+---
o x | A
x o | B
o o | X
x x | -
9) A <-> B
A B |
----+---
o x | X
x o | X
o o | AB
x x | -
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment