mon-entreprise/source/engine/traverse.js

import React from 'react'
import {rules, findRuleByDottedName, disambiguateRuleReference, findRuleByName} from './rules'
import {evaluateVariable} from './variables'
import R from 'ramda'
import knownMecanisms from './known-mecanisms.yaml'
import { Parser } from 'nearley'
import Grammar from './grammar.ne'
import {Node, Leaf} from './traverse-common-jsx'
import {mecanismOneOf,mecanismAllOf,mecanismNumericalLogic,mecanismSum,mecanismProduct,
		mecanismPercentage,mecanismScale,mecanismMax,mecanismError, mecanismComplement} from "./mecanisms"
import {evaluateNode, rewriteNode, collectNodeMissing, makeJsx} from './evaluation'

let nearley = () => new Parser(Grammar.ParserRules, Grammar.ParserStart)

/*
 Dans ce fichier, les règles YAML sont parsées.
 Elles expriment un langage orienté expression, les expressions étant
 - préfixes quand elles sont des 'mécanismes' (des mot-clefs représentant des calculs courants dans la loi)
 - infixes pour les feuilles : des tests d'égalité, d'inclusion, des comparaisons sur des variables ou tout simplement la  variable elle-même, ou une opération effectuée sur la variable

*/


/*
-> Notre règle est naturellement un AST (car notation préfixe dans le YAML)
-> préliminaire : les expression infixes devront être parsées,
par exemple ainsi : https://github.com/Engelberg/instaparse#transforming-the-tree
-> Notre règle entière est un AST, qu'il faut maintenant traiter :


- faire le calcul (déterminer les valeurs de chaque noeud)
- trouver les branches complètes pour déterminer les autres branches courtcircuitées
	- ex. rule.formule est courtcircuitée si rule.non applicable est vrai
	- les feuilles de 'une de ces conditions' sont courtcircuitées si l'une d'elle est vraie
	- les feuilles de "toutes ces conditions" sont courtcircuitées si l'une d'elle est fausse
	- ...
(- bonus : utiliser ces informations pour l'ordre de priorité des variables inconnues)

- si une branche est incomplète et qu'elle est de type numérique, déterminer les bornes si c'est possible.
	Ex. - pour une multiplication, si l'assiette est connue mais que l 'applicabilité est inconnue,
				les bornes seront [0, multiplication.value = assiette * taux]
			- si taux = effectif entreprise >= 20 ? 1% : 2% et que l'applicabilité est connue,
				bornes = [assiette * 1%, assiette * 2%]

- transformer l'arbre en JSX pour afficher le calcul *et son état en prenant en compte les variables renseignées et calculées* de façon sympathique dans un butineur Web tel que Mozilla Firefox.


- surement plein d'autres applications...

*/

// Creates a synthetic variable in the system namespace to signal filtering on components
let withFilter = (rules, filter) =>
	R.concat(rules,[{name:"filter", nodeValue:filter, ns:"sys", dottedName: "sys . filter"}])

let fillVariableNode = (rules, rule, situationGate) => (parseResult) => {
	return createVariableNode(rules, rule, situationGate)(parseResult)
}

let createVariableNode = (rules, rule, situationGate) => (parseResult) => {
	let evaluate = (situation, parsedRules, node) => {
		let dottedName = node.dottedName,
			variable = findRuleByDottedName(parsedRules, dottedName),
			variableIsCalculable = variable.formule != null,
			//TODO perf : mettre un cache sur les variables !
			// On le fait pas pour l'instant car ça peut compliquer les fonctionnalités futures
			// et qu'il n'y a aucun problème de perf aujourd'hui
			parsedRule = variableIsCalculable && evaluateNode(
				situationGate,
				parsedRules,
				variable
			),

			situationValue = evaluateVariable(situationGate, dottedName, variable),
			nodeValue2 = situationValue
					!= null ? situationValue
					: !variableIsCalculable
						? null
						: parsedRule.nodeValue,
			nodeValue = dottedName.startsWith("sys .") ? variable.nodeValue : nodeValue2,
			explanation = parsedRule,
			missingVariables = variableIsCalculable ? [] : (nodeValue == null ? [dottedName] : [])

			let collectMissing = node =>
				variableIsCalculable ? collectNodeMissing(parsedRule) : node.missingVariables

			return {
				...rewriteNode(node,nodeValue,explanation,collectMissing),
				missingVariables,
			}
	}

	let
		{fragments} = parseResult,
		variablePartialName = fragments.join(' . '),
		dottedName = disambiguateRuleReference(rules, rule, variablePartialName)

	let jsx = (nodeValue, explanation) =>
		<Leaf
			classes="variable"
			name={fragments.join(' . ')}
			value={nodeValue}
		/>

	return {
		evaluate,
		jsx,
		name: variablePartialName,
		category: 'variable',
		fragments,
		dottedName,
		type: 'boolean | numeric'
	}
}

let buildNegatedVariable = variable => {
	let evaluate = (situation, parsedRules, node) => {
		let explanation = evaluateNode(situationGate, parsedRules, node.explanation),
			nodeValue = explanation.nodeValue == null ? null : !explanation.nodeValue
		let collectMissing = node => collectNodeMissing(node.explanation)
		return rewriteNode(node,nodeValue,explanation,collectMissing)
	}

	let jsx = (nodeValue, explanation) => (
		<Node
			classes="inlineExpression negation"
			value={node.nodeValue}
			child={
				<span className="nodeContent">
					<span className="operator">¬</span>
					{makeJsx(explanation)}
				</span>
			}
		/>
	)

	return {
		evaluate,
		jsx,
		category: 'mecanism',
		name: 'négation',
		type: 'boolean',
		explanation: variable
	}
}

let treat = (situationGate, rules, rule) => rawNode => {
	// inner functions
	let reTreat = treat(situationGate, rules, rule),
		treatString = rawNode => {
			/* On a à faire à un string, donc à une expression infixe.
			Elle sera traité avec le parser obtenu grâce à NearleyJs et notre grammaire.
			On obtient un objet de type Variable (avec potentiellement un 'modifier', par exemple temporel (TODO)), CalcExpression ou Comparison.
			Cet objet est alors rebalancé à 'treat'.
			*/

			let [parseResult, ...additionnalResults] = nearley().feed(rawNode).results

			if (additionnalResults && additionnalResults.length > 0)
				throw "Attention ! L'expression <" + rawNode + '> ne peut être traitée de façon univoque'

			if (!R.contains(parseResult.category)(['variable', 'calcExpression', 'filteredVariable', 'comparison', 'negatedVariable']))
				throw "Attention ! Erreur de traitement de l'expression : " + rawNode

			if (parseResult.category == 'variable')
				return fillVariableNode(rules, rule, situationGate)(parseResult)
			if (parseResult.category == 'filteredVariable') {
				let newRules = withFilter(rules,parseResult.filter)
				return fillVariableNode(newRules, rule, situationGate)(parseResult.variable)
			}
			if (parseResult.category == 'negatedVariable')
				return buildNegatedVariable(
					fillVariableNode(rules, rule, situationGate)(parseResult.variable)
				)

			if (parseResult.category == 'calcExpression') {
				let evaluate = (situation, parsedRules, node) => {
					let
						operatorFunctionName = {
							'*': 'multiply',
							'/': 'divide',
							'+': 'add',
							'-': 'subtract'
						}[node.operator],
						explanation = R.map(R.curry(evaluateNode)(situation,parsedRules),node.explanation),
						value1 = explanation[0].nodeValue,
						value2 = explanation[1].nodeValue,
						operatorFunction = R[operatorFunctionName],
						nodeValue = value1 == null || value2 == null ?
							null
						: operatorFunction(value1, value2)

					let collectMissing = node => R.chain(collectNodeMissing,node.explanation)

					return rewriteNode(node,nodeValue,explanation,collectMissing)
				}

				let
					fillVariable = fillVariableNode(rules, rule, situationGate),
					fillFiltered = parseResult => fillVariableNode(withFilter(rules,parseResult.filter), rule, situationGate)(parseResult.variable),
					filledExplanation = parseResult.explanation.map(
						R.cond([
							[R.propEq('category', 'variable'), fillVariable],
							[R.propEq('category', 'filteredVariable'), fillFiltered],
							[R.propEq('category', 'value'), node =>
								({
									evaluate: (situation, parsedRules, me) => ({...me, nodeValue: parseInt(node.nodeValue)}),
									jsx:  nodeValue => <span className="value">{nodeValue}</span>
								})
							]
						])
					),
					operator = parseResult.operator

				let jsx = (nodeValue, explanation) => <Node
						classes="inlineExpression calcExpression"
						value={nodeValue}
						child={
							<span className="nodeContent">
								{makeJsx(explanation[0])}
								<span className="operator">{parseResult.operator}</span>
								{makeJsx(explanation[1])}
							</span>
						}
					/>

				return {
					evaluate,
					jsx,
					operator,
					text: rawNode,
					category: 'calcExpression',
					type: 'numeric',
					explanation: filledExplanation
				}
			}

			if (parseResult.category == 'comparison') {
				//TODO mutualise code for 'comparison' & 'calclExpression'. Harmonise their names
				let evaluate = (situation, parsedRules, node) => {
					let
						comparatorFunctionName = {
							'<': 'lt',
							'<=': 'lte',
							'>': 'gt',
							'>=': 'gte'
							//TODO '='
						}[node.operator],
						comparatorFunction = R[comparatorFunctionName],
						explanation = R.map(R.curry(evaluateNode)(situation,parsedRules),node.explanation),
						value1 = explanation[0].nodeValue,
						value2 = explanation[1].nodeValue,
						nodeValue = value1 == null || value2 == null ?
							null
						: comparatorFunction(value1, value2)

					let collectMissing = node => R.chain(collectNodeMissing,node.explanation)

					return rewriteNode(node,nodeValue,explanation,collectMissing)
				}

				let
					fillVariable = fillVariableNode(rules, rule, situationGate),
					fillFiltered = parseResult => fillVariableNode(withFilter(rules,parseResult.filter), rule, situationGate)(parseResult.variable),
					filledExplanation = parseResult.explanation.map(
						R.cond([
							[R.propEq('category', 'variable'), fillVariable],
							[R.propEq('category', 'filteredVariable'), fillFiltered],
							[R.propEq('category', 'value'), node =>
								({
									evaluate: (situation, parsedRules, me) => ({...me, nodeValue: parseInt(node.nodeValue)}),
									jsx: nodeValue => <span className="value">{nodeValue}</span>
								})
							]
						])
					),
					operator = parseResult.operator

				let jsx = (nodeValue, explanation) =>
					<Node
						classes="inlineExpression calcExpression"
						value={nodeValue}
						child={
							<span className="nodeContent">
								{makeJsx(explanation[0])}
								<span className="operator">{parseResult.operator}</span>
								{makeJsx(explanation[1])}
							</span>
						}
					/>

				return {
					evaluate,
					jsx,
					operator,
					text: rawNode,
					category: 'comparison',
					type: 'boolean',
					explanation: filledExplanation,
				}
			}
		},
		treatNumber = rawNode => {
			return {
				text: ""+rawNode,
				category: 'number',
				nodeValue: rawNode,
				type: 'numeric',
				jsx:
					<span className="number">
						{rawNode}
					</span>
			}
		},
		treatOther = rawNode => {
			console.log() // eslint-disable-line no-console
			throw 'Cette donnée : ' + rawNode + ' doit être un Number, String ou Object'
		},
		treatObject = rawNode => {
			let mecanisms = R.intersection(R.keys(rawNode), R.keys(knownMecanisms))

			if (mecanisms.length != 1) {
				console.log('Erreur : On ne devrait reconnaître que un et un seul mécanisme dans cet objet', rawNode)
				throw 'OUPS !'
			}

			let k = R.head(mecanisms),
				v = rawNode[k]

			let dispatch = {
					'une de ces conditions':	mecanismOneOf,
					'toutes ces conditions':	mecanismAllOf,
					'logique numérique':		mecanismNumericalLogic,
					'taux':						mecanismPercentage,
					'somme':					mecanismSum,
					'multiplication':			mecanismProduct,
					'barème':					mecanismScale,
					'le maximum de':			mecanismMax,
					'complément':				mecanismComplement,
					'une possibilité':			R.always({})
				},
				action = R.pathOr(mecanismError,[k],dispatch)

			return action(reTreat,k,v)
		}

	let onNodeType = R.cond([
		[R.is(String),	treatString],
		[R.is(Number),	treatNumber],
		[R.is(Object),	treatObject],
		[R.T,			treatOther]
	])

	let defaultEvaluate = (situationGate, parsedRules, node) => node
	let parsedNode = onNodeType(rawNode)

	return	parsedNode.evaluate ? parsedNode :
			{...parsedNode, evaluate: defaultEvaluate}
}

//TODO c'est moche :
export let computeRuleValue = (formuleValue, condValue) =>
	condValue === undefined
	? formuleValue
	: formuleValue === 0
	? 0
	: condValue === null
		? null
		: condValue === true
			? 0
			: formuleValue

export let treatRuleRoot = (situationGate, rules, rule) => {
	let evaluate = (situationGate, parsedRules, r) => {
		let
			evaluated = R.evolve({
				formule:R.curry(evaluateNode)(situationGate, parsedRules),
				"non applicable si":R.curry(evaluateNode)(situationGate, parsedRules)
			},r),
			formuleValue = evaluated.formule && evaluated.formule.nodeValue,
			condition = R.prop('non applicable si',evaluated),
			condValue = condition && condition.nodeValue,
			nodeValue = computeRuleValue(formuleValue, condValue)

		return {...evaluated, nodeValue}
	}
	let collectMissing = node => {
		let cond = R.prop('non applicable si',node),
			condMissing = cond ? collectNodeMissing(cond) : [],
			formule = node.formule,
			formMissing = formule ? collectNodeMissing(formule) : []
		return R.concat(condMissing,formMissing)
	}

	let parsedRoot = R.evolve({ // -> Voilà les attributs que peut comporter, pour l'instant, une Variable.

	// 'meta': pas de traitement pour l'instant

	// 'cond' : Conditions d'applicabilité de la règle
		'non applicable si': value => {
			let evaluate = (situationGate, parsedRules, node) => {
				let collectMissing = node => collectNodeMissing(node.explanation)
				let explanation = evaluateNode(situationGate, parsedRules, node.explanation),
					nodeValue = explanation.nodeValue
				return rewriteNode(node,nodeValue,explanation,collectMissing)
			}

			let child = treat(situationGate, rules, rule)(value)

			let jsx = (nodeValue, explanation) => <Node
					classes="ruleProp mecanism cond"
					name="non applicable si"
					value={nodeValue}
					child={
						explanation.category === 'variable' ? <div className="node">makeJsx(explanation)</div>
						: makeJsx(explanation)
					}
				/>

			return {
				evaluate,
				jsx,
				category: 'ruleProp',
				rulePropType: 'cond',
				name: 'non applicable si',
				type: 'boolean',
				explanation: child
			}
		}
		,
		// [n'importe quel mécanisme booléen] : expression booléenne (simple variable, négation, égalité, comparaison numérique, test d'inclusion court / long) || l'une de ces conditions || toutes ces conditions
		// 'applicable si': // pareil mais inversé !

		// note: pour certaines variables booléennes, ex. appartenance à régime Alsace-Moselle, la formule et le non applicable si se rejoignent
		// [n'importe quel mécanisme numérique] : multiplication || barème en taux marginaux || le maximum de || le minimum de || ...
		'formule': value => {
			let evaluate = (situationGate, parsedRules, node) => {
				let collectMissing = node => collectNodeMissing(node.explanation)
				let explanation = evaluateNode(situationGate, parsedRules, node.explanation),
					nodeValue = explanation.nodeValue
				return rewriteNode(node,nodeValue,explanation,collectMissing)
			}

			let child = treat(situationGate, rules, rule)(value)

			let jsx = (nodeValue, explanation) => <Node
					classes="ruleProp mecanism formula"
					name="formule"
					value={nodeValue}
					child={makeJsx(explanation)}
				/>

			return {
				evaluate,
				jsx,
				category: 'ruleProp',
				rulePropType: 'formula',
				name: 'formule',
				type: 'numeric',
				explanation: child
			}
		}
	,
	// TODO les mécanismes de composantes et de variations utilisables un peu partout !
	// TODO 'temporal': information concernant les périodes : à définir !
	// TODO 'intéractions': certaines variables vont en modifier d'autres : ex. Fillon va réduire voir annuler (set 0) une liste de cotisations
	// ... ?

	})(rule)

	return {
		...parsedRoot,
		evaluate,
		collectMissing
	}
}

/* Analyse the set of selected rules, and add derived information to them :
- do they need variables that are not present in the user situation ?
- if not, do they have a computed value or are they non applicable ?
*/

export let analyseSituation = (rules, rootVariable) => situationGate => {
	let {root, parsedRules} = analyseTopDown(rules,rootVariable)(situationGate)
	return root
}

export let analyseTopDown = (rules, rootVariable) => situationGate => {
	let treatOne = rule => treatRuleRoot(situationGate, rules, rule),
		parsedRules = R.map(treatOne,rules),
		rootRule = findRuleByName(parsedRules, rootVariable),
		root = evaluateNode(situationGate, parsedRules, rootRule)

	return {
		root,
		parsedRules
	}
}





/*--------------------------------------------------------------------------------
 Ce qui suit est la première tentative d'écriture du principe du moteur et de la syntaxe */

// let types = {
	/*
	(expression):
		| (variable)
		| (négation)
		| (égalité)
		| (comparaison numérique)
		| (test d'inclusion court)
	*/

// }


/*
Variable:
	- applicable si: (boolean logic)
	- non applicable si: (boolean logic)
	- concerne: (expression)
	- ne concerne pas: (expression)

(boolean logic):
	toutes ces conditions: ([expression | boolean logic])
	une de ces conditions: ([expression | boolean logic])
	conditions exclusives: ([expression | boolean logic])

"If you write a regular expression, walk away for a cup of coffee, come back, and can't easily understand what you just wrote, then you should look for a clearer way to express what you're doing."

Les expressions sont le seul mécanisme relativement embêtant pour le moteur. Dans un premier temps, il les gerera au moyen d'expressions régulières, puis il faudra probablement mieux s'équiper avec un "javascript parser generator" :
https://medium.com/@daffl/beyond-regex-writing-a-parser-in-javascript-8c9ed10576a6

(variable): (string)

(négation):
	! (variable)

(égalité):
	(variable) = (variable.type)

(comparaison numérique):
	| (variable) < (variable.type)
	| (variable) <= (variable.type)
	| (variable) > (variable.type)
	| (variable) <= (variable.type)

(test d'inclusion court):
	(variable) ⊂ [variable.type]

in Variable.formule :
	- composantes
	- linéaire
	- barème en taux marginaux
	- test d'inclusion: (test d'inclusion)

(test d'inclusion):
	variable: (variable)
	possibilités: [variable.type]

# pas nécessaire pour le CDD

	in Variable
		- variations: [si]

	(si):
		si: (expression)
		# corps

	*/