/*
ShEx grammar rules based on the Last Call Working Draft of 03/03/2017:
  https://github.com/shexSpec/grammar/blob/shex2.1/bnf

Be careful with grammar notation - it is EBNF in prolog syntax!
[...] lists always represent sequence.
or can be used as binary operator or n-ary prefix term - do not put [...] 
inside unless you want sequence as a single disjunct.
*, +, ? - generally used as 1-ary terms 
stephen.cresswell@tso.co.uk
*/

% We need to be careful with end-of-input marker $
% Since we never actually receive this from Codemirror, 
% we can't have it appear on RHS of deployed rules.
% However, we do need it to check whether rules *could* precede 
% end-of-input, so use it with top-level

:-dynamic '==>'/2.


%[1] OK
shexDoC  ==> [*(directive),?([or(notStartAction,startActions),*(statement)]), $ ].

%[2] OK
directive ==> [or(baseDecl,prefixDecl,importDecl)].

%[3] OK
baseDecl ==> ['BASE','IRI_REF'].

%[4] OK
prefixDecl ==> ['PREFIX','PNAME_NS','IRI_REF'].

%[4 1/2]
importDecl ==>['IMPORT','IRI_REF'].

%[5] OK
notStartAction ==> [or(startt,shapeExprDecl)].

%[6] OK
startt ==> ['START','=',shapeExpression].

%[7] OK
startActions ==> [+(codeDecl)].

%[8] OK
statement ==> [or(directive,notStartAction)].

%[9] OK
shapeExprDecl ==> [?('KW_ABSTRACT'),shapeExprLabel,or(shapeExpression,'EXTERNAL')].

%[10] OK
shapeExpression ==> [shapeOr].

%[11] OK
inlineShapeExpression ==> [inlineShapeOr].

%[12] OK
shapeOr ==> [shapeAnd,*(['OR',shapeAnd])].

%[13] OK
inlineShapeOr ==> [inlineShapeAnd,*(['OR',inlineShapeAnd])].

%[14] OK
shapeAnd ==> [shapeNot,*(['AND_TOKEN',shapeNot])].

%[15] OK
inlineShapeAnd ==> [inlineShapeNot,*(['AND_TOKEN',inlineShapeNot])].

%[16] OK
shapeNot ==> [?('NOT'),shapeAtom].

%[17] OK
inlineShapeNot ==> [?('NOT'),inlineShapeAtom].

%[18] OK
shapeAtom ==> [nodeConstraint,?(shapeOrRef)].
shapeAtom ==> [shapeOrRef].
shapeAtom ==> ['(',shapeExpression,')'].
shapeAtom ==> ['.'].


%[19] OK
inlineShapeAtom ==> [nodeConstraint,?(inlineShapeOrRef)].
inlineShapeAtom ==> [inlineShapeOrRef,?(nodeConstraint)].
inlineShapeAtom ==> ['(',shapeExpression,')'].
inlineShapeAtom ==> ['.'].

%[20] OK
shapeOrRef ==> [or(shapeDefinition,shapeRef)].

shapeRef ==> ['ATPNAME_NS'].
shapeRef ==> ['ATPNAME_LN'].
shapeRef ==> ['@',shapeExprLabel].

%[21] OK
inlineShapeOrRef ==> [inlineShapeDefinition].
inlineShapeOrRef ==> ['ATPNAME_NS'].
inlineShapeOrRef ==> ['ATPNAME_LN'].
inlineShapeOrRef ==> ['@',shapeExprLabel].


%[22] OK
nodeConstraint ==> ['LITERAL',*(xsFacet)].
nodeConstraint ==> [nonLiteralKind,*(stringFacet)].
nodeConstraint ==> [datatype,*(xsFacet)].
nodeConstraint ==> [valueSet,*(xsFacet)].
nodeConstraint ==> [+(xsFacet)].

%[23] OK
nonLiteralKind ==> ['IRI'].
nonLiteralKind ==> ['BNODE'].
nonLiteralKind ==> ['NONLITERAL'].

%[24] OK
xsFacet ==> [or(stringFacet,numericFacet)].

%[25] OK
stringFacet ==> [stringLength,'INTEGER'].
stringFacet ==> ['REGEXP'].

%[26] OK
stringLength ==> ['LENGTH'].
stringLength ==> ['MINLENGTH'].
stringLength ==> ['MAXLENGTH'].

%[27] OK
numericFacet ==> [numericRange,numericLiteral].
numericFacet ==> [numericLength,'INTEGER'].

%[28] OK
numericRange ==> ['MININCLUSIVE'].
numericRange ==> ['MINEXCLUSIVE'].
numericRange ==> ['MAXINCLUSIVE'].
numericRange ==> ['MAXEXCLUSIVE'].

%[29] OK
numericLength ==> ['TOTALDIGITS'].
numericLength ==> ['FRACTIONDIGITS'].

%[30] OK
shapeDefinition ==>[inlineShapeDefinition,*(annotation),semanticActions].

%[31] OK
inlineShapeDefinition ==> [*(qualifier),'{',?(tripleExpression),'}'].

qualifier ==> [or(extension,restriction,extraPropertySet,'CLOSED')].

extension ==> ['EXTENDS', +(shapeRef)].
extension ==> ['&', +(shapeRef)].

restriction ==> ['RESTRICTS',shapeRef].
restriction ==> ['-',shapeRef].

%[32] OK
extraPropertySet ==> ['EXTRA',+(predicate)].

%[33] OK
tripleExpression ==> [oneOfTripleExpr].

%[34][35][37][38][39] This nonterminals has been modyfied to make it LL(1)
oneOfTripleExpr ==> [unaryTripleExpr, funaryTripleExpr]. 

funaryTripleExpr ==>[singleElementGroup, fsingle].

fsingle ==>[].
fsingle ==>['|',unaryTripleExpr,singleElementGroup,fmulti].


fmulti ==>['|',unaryTripleExpr,singleElementGroup,fmulti].
fmulti ==>[].

singleElementGroup ==> [].
singleElementGroup ==> [';',elementGroup].

elementGroup ==>[].
elementGroup ==>[unaryTripleExpr,singleElementGroup].

%Nonterminal [36] has been modyfied to make it LL(1)



%[40] OK
unaryTripleExpr ==> [?(['$',tripleExprLabel]),or(tripleConstraint,bracketedTripleExpr)].
unaryTripleExpr ==> [include].


%[41] 
bracketedTripleExpr ==> ['(',tripleExpression,')', ?(cardinality),*(annotation),semanticActions].

%[43] OK 
tripleConstraint ==> [?(senseFlags),predicate,
                    inlineShapeExpression,
                    ?(cardinality),*(annotation),
                    semanticActions].

%[44] OK
cardinality ==> ['*'].
cardinality ==> ['+'].
cardinality ==> ['?'].
cardinality ==> ['REPEAT_RANGE'].

%[45] OK
senseFlags ==> ['^'].

%[46] OK
valueSet ==> ['[',*(valueSetValue),']'].

%[47] OK
valueSetValue ==> [iriRange].
valueSetValue ==> [literalRange].
valueSetValue ==> [languajeRange].
%valueSetValue ==> [*(exclusion)].

%%%%%%%%% Until grammar isues are fixed %%%%%%%%%%%%%

literalRange ==> [literal,?(['~',*(literalExclusion)])].
literalExclusion ==> ['-',literal,?('~')].

languajeRange ==>['LANGTAG',?(['~',*(languajeExclusion)])].
languajeRange ==>['@','~',*(languajeExclusion)].

languajeExclusion ==> ['-','LANGTAG',?('~')].


%%%%%%%%%%%%%%%%%%%%%%%%

%[48] OK
iriRange ==> [iri,?(['~',*(exclusion)])].
iriRange ==> ['.',+(exclusion)].

%[49] OK
exclusion ==>['-',iri,?('~')].

%[50] OK
include ==> ['&',tripleExprLabel].

%[51] OK
annotation ==>['DOUBLE_SLASH',predicate,or(iri,literal)].

%[52] OK
semanticActions ==> [*(codeDecl)].

%[53] OK
codeDecl ==> ['%',iri,or('CODE','%')].

%[13t] OK
literal ==> [or(rdfLiteral,numericLiteral,booleanLiteral)].

%[54] OK
predicate ==> [or(iri,'A_TOKEN')].

%[55] OK
datatype ==> [iri].

%[56] OK
shapeExprLabel ==> [or(iri,blankNode)].

%[42] OK
tripleExprLabel ==> [or(iri,blankNode)].

%[16t] OK
numericLiteral ==>['INTEGER'].
numericLiteral ==>['DECIMAL'].
numericLiteral ==>['DOUBLE'].

%[129s] 
rdfLiteral ==> [string, rdfLit].
rdfLit ==> ['LANGTAG'].
rdfLit ==> ['^','^',datatype].
rdfLit ==> [].

%[134s] OK
booleanLiteral ==> [or('TRUE', 'FALSE')].

%[135s] OK
string ==> ['STRING_LITERAL1'].
string ==> ['STRING_LITERAL_LONG1'].
string ==> ['STRING_LITERAL2'].
string ==> ['STRING_LITERAL_LONG2'].


%[136s] OK
iri ==> [or('IRI_REF',prefixedName)].

%[137s] OK
prefixedName ==> [ or('PNAME_LN', 'PNAME_NS') ].

%[138] OK
blankNode ==> ['BLANK_NODE_LABEL'].



% tens defined by regular expressions elsewhere
% RDF_TYPE ten now is harcoded in the rules
tm_regex([
'CODE',
'REPEAT_RANGE',
'IRI_REF',
'PNAME_NS',
'PNAME_LN',
'ATPNAME_NS',
'ATPNAME_LN',
'REGEXP',
'BLANK_NODE_LABEL',
'LANGTAG',
'INTEGER',
'DECIMAL',
'DOUBLE',
'STRING_LITERAL1',
'STRING_LITERAL2',
'STRING_LITERAL_LONG1',
'STRING_LITERAL_LONG2',
'KW_ABSTRACT',
'A_TOKEN',
'AND_TOKEN',
'DOUBLE_SLASH'
]).

% Terminals where name of terminal is uppercased ten content
tm_keywords([
'RESTRICTS',
'EXTENDS',
'BASE',
'PREFIX',
'IMPORT',
'EXTERNAL',
'OR',
'NOT',
'LITERAL',
'NONLITERAL',
'IRI',
'BNODE',
'LENGTH',
'MINLENGTH',
'MAXLENGTH',
'MININCLUSIVE',
'MINEXCLUSIVE',
'MAXINCLUSIVE',
'MAXEXCLUSIVE',
'TOTALDIGITS',
'FRACTIONDIGITS',
'CLOSED',
'EXTRA',
'TRUE',
'FALSE',
'START'
]).

% Other tens representing fixed, case sensitive, strings
% Care! order longer tens first - e.g. IRI_REF, <=, <
% e.g. >=, >
% e.g. NIL, '('
% e.g. ANON, [
% e.g. DOUBLE, DECIMAL, INTEGER
% e.g. INTEGER_POSITIVE, PLUS
tm_punct([

'='= '=',
'('= '\\(',
')'= '\\)',
'.'= '\\.',
'@'= '@',
'{'= '\\{',
'}'= '\\}',
'|' = '\\|',
';'= ';',
'*'= '\\*',
'+'= '\\+',
'?' = '\\?',
'^'= '\\^',
'['= '\\[',
']'= '\\]',
'-'= '\\-',
'~'='\\~',
'&'='\\&',
'%'='%',
'$' = '\\$'
]).