mirror of
https://github.com/DanilaFe/abacus
synced 2026-01-25 08:05:19 +00:00
Compare commits
15 Commits
move-files
...
plugin-con
| Author | SHA1 | Date | |
|---|---|---|---|
| 981211ccfa | |||
| d91536e746 | |||
| 7c252fddf1 | |||
| 0d26167f31 | |||
| 07abe4d17a | |||
| 8ef0904d26 | |||
| 92489551ca | |||
| 2a9026f748 | |||
| 08e5b69c04 | |||
| 6a0b667c32 | |||
| 5a1fdfe4bc | |||
| 378ff946d9 | |||
| 0511c58b13 | |||
| e82a13cde5 | |||
| 40362a7afe |
@@ -1,7 +1,7 @@
|
||||
package org.nwapw.abacus.lexing;
|
||||
|
||||
import org.nwapw.abacus.lexing.pattern.nodes.EndNode;
|
||||
import org.nwapw.abacus.lexing.pattern.Pattern;
|
||||
import org.nwapw.abacus.lexing.pattern.nodes.EndNode;
|
||||
import org.nwapw.abacus.lexing.pattern.nodes.PatternNode;
|
||||
|
||||
import java.util.*;
|
||||
@@ -79,10 +79,10 @@ public class Lexer<T> {
|
||||
|
||||
index++;
|
||||
}
|
||||
matches.sort((a, b) -> compare.compare(a.getType(), b.getType()));
|
||||
if (compare != null) {
|
||||
matches.sort(Comparator.comparingInt(a -> a.getContent().length()));
|
||||
Collections.sort(matches, (a, b) -> compare.compare(a.getType(), b.getType()));
|
||||
}
|
||||
Collections.sort(matches, (o1, o2) -> o1.getContent().length() - o2.getContent().length());
|
||||
return matches.isEmpty() ? null : matches.get(matches.size() - 1);
|
||||
}
|
||||
|
||||
@@ -136,7 +136,10 @@ public class Lexer<T> {
|
||||
|
||||
@Override
|
||||
public int hashCode() {
|
||||
return Objects.hash(name, id);
|
||||
return Arrays.hashCode(new Object[] {
|
||||
this.name,
|
||||
this.id
|
||||
});
|
||||
}
|
||||
|
||||
@Override
|
||||
|
||||
@@ -6,7 +6,6 @@ import java.util.Collection;
|
||||
import java.util.HashMap;
|
||||
import java.util.Map;
|
||||
import java.util.Stack;
|
||||
import java.util.function.Function;
|
||||
|
||||
/**
|
||||
* A pattern that can be compiled from a string and used in lexing.
|
||||
@@ -36,8 +35,8 @@ public class Pattern<T> {
|
||||
* A map of regex operator to functions that modify a PatternChain
|
||||
* with the appropriate operation.
|
||||
*/
|
||||
private Map<Character, Function<PatternChain<T>, PatternChain<T>>> operations =
|
||||
new HashMap<Character, Function<PatternChain<T>, PatternChain<T>>>() {{
|
||||
private Map<Character, Transformation<T>> operations =
|
||||
new HashMap<Character, Transformation<T>>() {{
|
||||
put('+', Pattern.this::transformPlus);
|
||||
put('*', Pattern.this::transformStar);
|
||||
put('?', Pattern.this::transformQuestion);
|
||||
@@ -207,7 +206,7 @@ public class Pattern<T> {
|
||||
if (operations.containsKey(currentChar)) {
|
||||
if (currentChain == null) return null;
|
||||
|
||||
currentChain = operations.get(currentChar).apply(currentChain);
|
||||
currentChain = operations.get(currentChar).transform(currentChain);
|
||||
fullChain.append(currentChain);
|
||||
currentChain = null;
|
||||
index++;
|
||||
|
||||
@@ -0,0 +1,16 @@
|
||||
package org.nwapw.abacus.lexing.pattern;
|
||||
|
||||
/**
|
||||
* An interface that transforms a pattern chain into a different pattern chain.
|
||||
* @param <T> the type used to identify the nodes in the pattern chain.
|
||||
*/
|
||||
public interface Transformation<T> {
|
||||
|
||||
/**
|
||||
* Performs the actual transformation.
|
||||
* @param from the original chain.
|
||||
* @return the resulting chain.
|
||||
*/
|
||||
PatternChain<T> transform(PatternChain<T> from);
|
||||
|
||||
}
|
||||
@@ -20,7 +20,7 @@ public class LexerTokenizer implements Tokenizer<Match<TokenType>>, PluginListen
|
||||
/**
|
||||
* Comparator used to sort the tokens produced by the lexer.
|
||||
*/
|
||||
protected static final Comparator<TokenType> TOKEN_SORTER = Comparator.comparingInt(e -> e.priority);
|
||||
protected static final Comparator<TokenType> TOKEN_SORTER = (o1, o2) -> o1.priority - o2.priority;
|
||||
|
||||
/**
|
||||
* The lexer instance used to turn strings into matches.
|
||||
|
||||
@@ -1,10 +1,10 @@
|
||||
package org.nwapw.abacus.plugin;
|
||||
|
||||
import org.nwapw.abacus.number.NumberInterface;
|
||||
import org.nwapw.abacus.number.promotion.PromotionFunction;
|
||||
|
||||
import java.util.HashMap;
|
||||
import java.util.Map;
|
||||
import java.util.function.Function;
|
||||
|
||||
/**
|
||||
* A class that holds data about a number implementation.
|
||||
@@ -14,7 +14,7 @@ public abstract class NumberImplementation {
|
||||
/**
|
||||
* The list of paths through which this implementation can be promoted.
|
||||
*/
|
||||
private Map<String, Function<NumberInterface, NumberInterface>> promotionPaths;
|
||||
private Map<String, PromotionFunction> promotionPaths;
|
||||
/**
|
||||
* The implementation class for this implementation.
|
||||
*/
|
||||
@@ -41,7 +41,7 @@ public abstract class NumberImplementation {
|
||||
*
|
||||
* @return the map of documentation paths.
|
||||
*/
|
||||
public final Map<String, Function<NumberInterface, NumberInterface>> getPromotionPaths() {
|
||||
public final Map<String, PromotionFunction> getPromotionPaths() {
|
||||
return promotionPaths;
|
||||
}
|
||||
|
||||
|
||||
@@ -1,6 +1,7 @@
|
||||
package org.nwapw.abacus.plugin;
|
||||
|
||||
import org.nwapw.abacus.function.*;
|
||||
import org.nwapw.abacus.function.Documentation;
|
||||
import org.nwapw.abacus.function.DocumentationType;
|
||||
import org.nwapw.abacus.function.interfaces.NumberFunction;
|
||||
import org.nwapw.abacus.function.interfaces.NumberOperator;
|
||||
import org.nwapw.abacus.function.interfaces.TreeValueFunction;
|
||||
|
||||
@@ -1,7 +1,8 @@
|
||||
package org.nwapw.abacus.plugin;
|
||||
|
||||
import org.nwapw.abacus.Abacus;
|
||||
import org.nwapw.abacus.function.*;
|
||||
import org.nwapw.abacus.function.Documentation;
|
||||
import org.nwapw.abacus.function.DocumentationType;
|
||||
import org.nwapw.abacus.function.interfaces.NumberFunction;
|
||||
import org.nwapw.abacus.function.interfaces.NumberOperator;
|
||||
import org.nwapw.abacus.function.interfaces.TreeValueFunction;
|
||||
|
||||
@@ -1,12 +1,13 @@
|
||||
package org.nwapw.abacus.plugin.standard;
|
||||
|
||||
import org.nwapw.abacus.context.MutableEvaluationContext;
|
||||
import org.nwapw.abacus.function.*;
|
||||
import org.nwapw.abacus.function.Documentation;
|
||||
import org.nwapw.abacus.function.DocumentationType;
|
||||
import org.nwapw.abacus.function.interfaces.NumberFunction;
|
||||
import org.nwapw.abacus.function.interfaces.NumberOperator;
|
||||
import org.nwapw.abacus.function.interfaces.TreeValueOperator;
|
||||
import org.nwapw.abacus.number.standard.NaiveNumber;
|
||||
import org.nwapw.abacus.number.NumberInterface;
|
||||
import org.nwapw.abacus.number.standard.NaiveNumber;
|
||||
import org.nwapw.abacus.number.standard.PreciseNumber;
|
||||
import org.nwapw.abacus.plugin.NumberImplementation;
|
||||
import org.nwapw.abacus.plugin.Plugin;
|
||||
|
||||
@@ -1,15 +1,14 @@
|
||||
package org.nwapw.abacus
|
||||
|
||||
import org.nwapw.abacus.config.Configuration
|
||||
import org.nwapw.abacus.context.MutableEvaluationContext
|
||||
import org.nwapw.abacus.context.EvaluationContext
|
||||
import org.nwapw.abacus.context.MutableEvaluationContext
|
||||
import org.nwapw.abacus.number.promotion.PromotionManager
|
||||
import org.nwapw.abacus.parsing.TreeBuilder
|
||||
import org.nwapw.abacus.parsing.standard.LexerTokenizer
|
||||
import org.nwapw.abacus.parsing.standard.ShuntingYardParser
|
||||
import org.nwapw.abacus.parsing.TreeBuilder
|
||||
import org.nwapw.abacus.plugin.PluginManager
|
||||
import org.nwapw.abacus.plugin.standard.StandardPlugin
|
||||
import org.nwapw.abacus.tree.standard.NumberReducer
|
||||
import org.nwapw.abacus.tree.nodes.TreeNode
|
||||
|
||||
/**
|
||||
@@ -47,7 +46,7 @@ class Abacus(val configuration: Configuration) {
|
||||
/**
|
||||
* The hidden, mutable implementation of the context.
|
||||
*/
|
||||
private val mutableContext = MutableEvaluationContext(numberImplementation = StandardPlugin.IMPLEMENTATION_NAIVE)
|
||||
private val mutableContext = MutableEvaluationContext(numberImplementation = StandardPlugin.IMPLEMENTATION_NAIVE, abacus = this)
|
||||
/**
|
||||
* The base context from which calculations are started.
|
||||
*/
|
||||
@@ -106,9 +105,8 @@ class Abacus(val configuration: Configuration) {
|
||||
* @return the evaluation result.
|
||||
*/
|
||||
fun evaluateTreeWithContext(tree: TreeNode, context: MutableEvaluationContext): EvaluationResult {
|
||||
val newReducer = NumberReducer(this, context)
|
||||
val evaluationValue = tree.reduce(newReducer)
|
||||
return EvaluationResult(evaluationValue, newReducer.context)
|
||||
val evaluationValue = tree.reduce(context)
|
||||
return EvaluationResult(evaluationValue, context)
|
||||
}
|
||||
|
||||
}
|
||||
@@ -1,5 +1,6 @@
|
||||
package org.nwapw.abacus.context
|
||||
|
||||
import org.nwapw.abacus.Abacus
|
||||
import org.nwapw.abacus.number.NumberInterface
|
||||
import org.nwapw.abacus.plugin.NumberImplementation
|
||||
import org.nwapw.abacus.tree.Reducer
|
||||
@@ -13,11 +14,11 @@ import org.nwapw.abacus.tree.nodes.TreeNode
|
||||
*
|
||||
* @property parent the parent of this context.
|
||||
* @property numberImplementation the implementation for numbers of this context.
|
||||
* @property reducer the reducer used by this context.
|
||||
* @property abacus the abacus instance used by this reducer.
|
||||
*/
|
||||
open class EvaluationContext(val parent: EvaluationContext? = null,
|
||||
open val numberImplementation: NumberImplementation? = null,
|
||||
open val reducer: Reducer<NumberInterface>? = null) {
|
||||
abstract class EvaluationContext(val parent: EvaluationContext? = null,
|
||||
open val numberImplementation: NumberImplementation? = null,
|
||||
open val abacus: Abacus? = null): Reducer<NumberInterface> {
|
||||
|
||||
/**
|
||||
* The map of variables in this context.
|
||||
@@ -47,10 +48,10 @@ open class EvaluationContext(val parent: EvaluationContext? = null,
|
||||
by ChainSearchDelegate { numberImplementation }
|
||||
|
||||
/**
|
||||
* The reducer inherited from this context's parent.
|
||||
* The Abacus instance inherited from this context's parent.
|
||||
*/
|
||||
val inheritedReducer: Reducer<NumberInterface>
|
||||
by ChainSearchDelegate { reducer }
|
||||
val inheritedAbacus: Abacus
|
||||
by ChainSearchDelegate { abacus }
|
||||
|
||||
/**
|
||||
* The set of all variables in this context and its parents.
|
||||
|
||||
@@ -1,9 +1,11 @@
|
||||
package org.nwapw.abacus.context
|
||||
|
||||
import org.nwapw.abacus.Abacus
|
||||
import org.nwapw.abacus.exception.NumberReducerException
|
||||
import org.nwapw.abacus.exception.ReductionException
|
||||
import org.nwapw.abacus.number.NumberInterface
|
||||
import org.nwapw.abacus.plugin.NumberImplementation
|
||||
import org.nwapw.abacus.tree.Reducer
|
||||
import org.nwapw.abacus.tree.nodes.TreeNode
|
||||
import org.nwapw.abacus.tree.nodes.*
|
||||
|
||||
/**
|
||||
* A reduction context that is mutable.
|
||||
@@ -13,11 +15,11 @@ import org.nwapw.abacus.tree.nodes.TreeNode
|
||||
*/
|
||||
class MutableEvaluationContext(parent: EvaluationContext? = null,
|
||||
numberImplementation: NumberImplementation? = null,
|
||||
reducer: Reducer<NumberInterface>? = null) :
|
||||
EvaluationContext(parent, numberImplementation, reducer) {
|
||||
abacus: Abacus? = null) :
|
||||
EvaluationContext(parent, numberImplementation, abacus) {
|
||||
|
||||
override var numberImplementation: NumberImplementation? = super.numberImplementation
|
||||
override var reducer: Reducer<NumberInterface>? = super.reducer
|
||||
override var abacus: Abacus? = super.abacus
|
||||
|
||||
/**
|
||||
* Writes data stored in the [other] context over data stored in this one.
|
||||
@@ -25,7 +27,6 @@ class MutableEvaluationContext(parent: EvaluationContext? = null,
|
||||
*/
|
||||
fun apply(other: EvaluationContext) {
|
||||
if(other.numberImplementation != null) numberImplementation = other.numberImplementation
|
||||
if(other.reducer != null) reducer = other.reducer
|
||||
for(name in other.variables) {
|
||||
setVariable(name, other.getVariable(name) ?: continue)
|
||||
}
|
||||
@@ -66,4 +67,53 @@ class MutableEvaluationContext(parent: EvaluationContext? = null,
|
||||
definitionMap.clear()
|
||||
}
|
||||
|
||||
override fun reduceNode(treeNode: TreeNode, vararg children: Any): NumberInterface {
|
||||
val abacus = inheritedAbacus
|
||||
val promotionManager = abacus.promotionManager
|
||||
return when(treeNode){
|
||||
is NumberNode -> {
|
||||
inheritedNumberImplementation.instanceForString(treeNode.number)
|
||||
}
|
||||
is VariableNode -> {
|
||||
val variable = getVariable(treeNode.variable)
|
||||
if(variable != null) return variable
|
||||
val definition = getDefinition(treeNode.variable)
|
||||
if(definition != null) return definition.reduce(this)
|
||||
throw NumberReducerException("variable is not defined.")
|
||||
}
|
||||
is NumberUnaryNode -> {
|
||||
val child = children[0] as NumberInterface
|
||||
numberImplementation = abacus.pluginManager.interfaceImplementationFor(child.javaClass)
|
||||
abacus.pluginManager.operatorFor(treeNode.operation)
|
||||
.apply(this, child)
|
||||
}
|
||||
is NumberBinaryNode -> {
|
||||
val left = children[0] as NumberInterface
|
||||
val right = children[1] as NumberInterface
|
||||
val promotionResult = promotionManager.promote(left, right)
|
||||
numberImplementation = promotionResult.promotedTo
|
||||
abacus.pluginManager.operatorFor(treeNode.operation).apply(this, *promotionResult.items)
|
||||
}
|
||||
is NumberFunctionNode -> {
|
||||
val promotionResult = promotionManager
|
||||
.promote(*children.map { it as NumberInterface }.toTypedArray())
|
||||
numberImplementation = promotionResult.promotedTo
|
||||
abacus.pluginManager.functionFor(treeNode.callTo).apply(this, *promotionResult.items)
|
||||
}
|
||||
is TreeValueUnaryNode -> {
|
||||
abacus.pluginManager.treeValueOperatorFor(treeNode.operation)
|
||||
.apply(this, treeNode.applyTo)
|
||||
}
|
||||
is TreeValueBinaryNode -> {
|
||||
abacus.pluginManager.treeValueOperatorFor(treeNode.operation)
|
||||
.apply(this, treeNode.left, treeNode.right)
|
||||
}
|
||||
is TreeValueFunctionNode -> {
|
||||
abacus.pluginManager.treeValueFunctionFor(treeNode.callTo)
|
||||
.apply(this, *treeNode.children.toTypedArray())
|
||||
}
|
||||
else -> throw ReductionException("unrecognized tree node.")
|
||||
}
|
||||
}
|
||||
|
||||
}
|
||||
@@ -221,6 +221,13 @@ abstract class NumberInterface: Comparable<NumberInterface> {
|
||||
return fractionalPartInternal()
|
||||
}
|
||||
|
||||
/**
|
||||
* Checks whether the given number is an integer or not.
|
||||
*
|
||||
* @return whether the number is an integer or not.
|
||||
*/
|
||||
fun isInteger() = fractionalPart().signum() == 0
|
||||
|
||||
/**
|
||||
* Returns a NumberRangeBuilder object, which is used to create a range.
|
||||
* The reason that this returns a builder and not an actual range is that
|
||||
|
||||
@@ -3,7 +3,6 @@ package org.nwapw.abacus.number.promotion
|
||||
|
||||
import org.nwapw.abacus.number.NumberInterface
|
||||
|
||||
typealias PromotionFunction = java.util.function.Function<NumberInterface, NumberInterface>
|
||||
typealias PromotionPath = List<PromotionFunction>
|
||||
typealias NumberClass = Class<NumberInterface>
|
||||
|
||||
@@ -14,5 +13,5 @@ typealias NumberClass = Class<NumberInterface>
|
||||
* @param from the number to start from.
|
||||
*/
|
||||
fun PromotionPath.promote(from: NumberInterface): NumberInterface {
|
||||
return fold(from, { current, function -> function.apply(current) })
|
||||
return fold(from, { current, function -> function.promote(current) })
|
||||
}
|
||||
@@ -0,0 +1,20 @@
|
||||
package org.nwapw.abacus.number.promotion
|
||||
|
||||
import org.nwapw.abacus.number.NumberInterface
|
||||
|
||||
/**
|
||||
* Function that is used to promote a number from one type to another.
|
||||
*
|
||||
* A promotion function is used in the promotion system as a mean to
|
||||
* actually "travel" down the promotion path.
|
||||
*/
|
||||
interface PromotionFunction {
|
||||
|
||||
/**
|
||||
* Promotes the given [number] into another type.
|
||||
* @param number the number to promote from.
|
||||
* @return the new number with the same value.
|
||||
*/
|
||||
fun promote(number: NumberInterface): NumberInterface
|
||||
|
||||
}
|
||||
@@ -6,7 +6,6 @@ import org.nwapw.abacus.number.NumberInterface
|
||||
import org.nwapw.abacus.plugin.NumberImplementation
|
||||
import org.nwapw.abacus.plugin.PluginListener
|
||||
import org.nwapw.abacus.plugin.PluginManager
|
||||
import java.util.function.Function
|
||||
|
||||
/**
|
||||
* A class that handles promotions based on priority and the
|
||||
@@ -32,7 +31,11 @@ class PromotionManager(val abacus: Abacus) : PluginListener {
|
||||
val fromName = abacus.pluginManager.interfaceImplementationNameFor(from.implementation)
|
||||
val toName = abacus.pluginManager.interfaceImplementationNameFor(to.implementation)
|
||||
|
||||
if(fromName == toName) return listOf(Function { it })
|
||||
if(fromName == toName) return listOf(object : PromotionFunction {
|
||||
override fun promote(number: NumberInterface): NumberInterface {
|
||||
return number
|
||||
}
|
||||
})
|
||||
|
||||
if(from.promotionPaths.containsKey(toName))
|
||||
return listOf(from.promotionPaths[toName] ?: return null)
|
||||
|
||||
@@ -1,9 +1,9 @@
|
||||
package org.nwapw.abacus.plugin.standard.operator
|
||||
|
||||
import org.nwapw.abacus.context.MutableEvaluationContext
|
||||
import org.nwapw.abacus.function.interfaces.NumberOperator
|
||||
import org.nwapw.abacus.function.OperatorAssociativity
|
||||
import org.nwapw.abacus.function.OperatorType
|
||||
import org.nwapw.abacus.function.interfaces.NumberOperator
|
||||
import org.nwapw.abacus.number.NumberInterface
|
||||
|
||||
/**
|
||||
|
||||
@@ -1,9 +1,9 @@
|
||||
package org.nwapw.abacus.plugin.standard.operator
|
||||
|
||||
import org.nwapw.abacus.context.MutableEvaluationContext
|
||||
import org.nwapw.abacus.function.interfaces.NumberOperator
|
||||
import org.nwapw.abacus.function.OperatorAssociativity
|
||||
import org.nwapw.abacus.function.OperatorType
|
||||
import org.nwapw.abacus.function.interfaces.NumberOperator
|
||||
import org.nwapw.abacus.number.NumberInterface
|
||||
import org.nwapw.abacus.plugin.standard.StandardPlugin.*
|
||||
|
||||
@@ -17,7 +17,7 @@ class OperatorCaret: NumberOperator(OperatorAssociativity.RIGHT, OperatorType.BI
|
||||
override fun matchesParams(context: MutableEvaluationContext, params: Array<out NumberInterface>) =
|
||||
params.size == 2
|
||||
&& !(params[0].signum() == 0 && params[1].signum() == 0)
|
||||
&& !(params[0].signum() == -1 && params[1].fractionalPart().signum() != 0)
|
||||
&& !(params[0].signum() == -1 && !params[1].isInteger())
|
||||
|
||||
override fun applyInternal(context: MutableEvaluationContext, params: Array<out NumberInterface>): NumberInterface {
|
||||
val implementation = context.inheritedNumberImplementation
|
||||
@@ -26,7 +26,7 @@ class OperatorCaret: NumberOperator(OperatorAssociativity.RIGHT, OperatorType.BI
|
||||
else if (params[1].signum() == 0)
|
||||
return implementation.instanceForString("1")
|
||||
//Detect integer bases:
|
||||
if (params[0].fractionalPart().signum() == 0
|
||||
if (params[0].isInteger()
|
||||
&& FUNCTION_ABS.apply(context, params[1]) < implementation.instanceForString(Integer.toString(Integer.MAX_VALUE))
|
||||
&& FUNCTION_ABS.apply(context, params[1]) >= implementation.instanceForString("1")) {
|
||||
val newParams = arrayOf(params[0], params[1].fractionalPart())
|
||||
|
||||
@@ -22,7 +22,7 @@ class OperatorDefine: TreeValueOperator(OperatorAssociativity.LEFT, OperatorType
|
||||
override fun applyInternal(context: MutableEvaluationContext, params: Array<out TreeNode>): NumberInterface {
|
||||
val assignTo = (params[0] as VariableNode).variable
|
||||
context.setDefinition(assignTo, params[1])
|
||||
return params[1].reduce(context.inheritedReducer)
|
||||
return params[1].reduce(context)
|
||||
}
|
||||
|
||||
}
|
||||
@@ -1,9 +1,9 @@
|
||||
package org.nwapw.abacus.plugin.standard.operator
|
||||
|
||||
import org.nwapw.abacus.context.MutableEvaluationContext
|
||||
import org.nwapw.abacus.function.interfaces.NumberOperator
|
||||
import org.nwapw.abacus.function.OperatorAssociativity
|
||||
import org.nwapw.abacus.function.OperatorType
|
||||
import org.nwapw.abacus.function.interfaces.NumberOperator
|
||||
import org.nwapw.abacus.number.NumberInterface
|
||||
|
||||
/**
|
||||
|
||||
@@ -1,9 +1,9 @@
|
||||
package org.nwapw.abacus.plugin.standard.operator
|
||||
|
||||
import org.nwapw.abacus.context.MutableEvaluationContext
|
||||
import org.nwapw.abacus.function.interfaces.NumberOperator
|
||||
import org.nwapw.abacus.function.OperatorAssociativity
|
||||
import org.nwapw.abacus.function.OperatorType
|
||||
import org.nwapw.abacus.function.interfaces.NumberOperator
|
||||
import org.nwapw.abacus.number.NumberInterface
|
||||
|
||||
/**
|
||||
@@ -15,7 +15,7 @@ class OperatorFactorial: NumberOperator(OperatorAssociativity.LEFT, OperatorType
|
||||
|
||||
override fun matchesParams(context: MutableEvaluationContext, params: Array<out NumberInterface>) =
|
||||
params.size == 1
|
||||
&& params[0].fractionalPart().signum() == 0
|
||||
&& params[0].isInteger()
|
||||
&& params[0].signum() >= 0
|
||||
|
||||
override fun applyInternal(context: MutableEvaluationContext, params: Array<out NumberInterface>): NumberInterface {
|
||||
|
||||
@@ -1,9 +1,9 @@
|
||||
package org.nwapw.abacus.plugin.standard.operator
|
||||
|
||||
import org.nwapw.abacus.context.MutableEvaluationContext
|
||||
import org.nwapw.abacus.function.interfaces.NumberOperator
|
||||
import org.nwapw.abacus.function.OperatorAssociativity
|
||||
import org.nwapw.abacus.function.OperatorType
|
||||
import org.nwapw.abacus.function.interfaces.NumberOperator
|
||||
import org.nwapw.abacus.number.NumberInterface
|
||||
|
||||
/**
|
||||
|
||||
@@ -1,11 +1,12 @@
|
||||
package org.nwapw.abacus.plugin.standard.operator
|
||||
|
||||
import org.nwapw.abacus.context.MutableEvaluationContext
|
||||
import org.nwapw.abacus.function.interfaces.NumberOperator
|
||||
import org.nwapw.abacus.function.OperatorAssociativity
|
||||
import org.nwapw.abacus.function.OperatorType
|
||||
import org.nwapw.abacus.function.interfaces.NumberOperator
|
||||
import org.nwapw.abacus.number.NumberInterface
|
||||
import org.nwapw.abacus.plugin.standard.StandardPlugin.*
|
||||
import org.nwapw.abacus.plugin.standard.StandardPlugin.OP_FACTORIAL
|
||||
import org.nwapw.abacus.plugin.standard.StandardPlugin.OP_NPR
|
||||
|
||||
/**
|
||||
* The "N choose R" operator.
|
||||
@@ -16,8 +17,8 @@ import org.nwapw.abacus.plugin.standard.StandardPlugin.*
|
||||
class OperatorNcr: NumberOperator(OperatorAssociativity.RIGHT, OperatorType.BINARY_INFIX, 0) {
|
||||
|
||||
override fun matchesParams(context: MutableEvaluationContext, params: Array<out NumberInterface>) =
|
||||
params.size == 2 && params[0].fractionalPart().signum() == 0
|
||||
&& params[1].fractionalPart().signum() == 0
|
||||
params.size == 2 && params[0].isInteger()
|
||||
&& params[1].isInteger()
|
||||
|
||||
override fun applyInternal(context: MutableEvaluationContext, params: Array<out NumberInterface>) =
|
||||
OP_NPR.apply(context, *params) / OP_FACTORIAL.apply(context, params[1])
|
||||
|
||||
@@ -1,9 +1,9 @@
|
||||
package org.nwapw.abacus.plugin.standard.operator
|
||||
|
||||
import org.nwapw.abacus.context.MutableEvaluationContext
|
||||
import org.nwapw.abacus.function.interfaces.NumberOperator
|
||||
import org.nwapw.abacus.function.OperatorAssociativity
|
||||
import org.nwapw.abacus.function.OperatorType
|
||||
import org.nwapw.abacus.function.interfaces.NumberOperator
|
||||
import org.nwapw.abacus.number.NumberInterface
|
||||
|
||||
/**
|
||||
|
||||
@@ -1,9 +1,9 @@
|
||||
package org.nwapw.abacus.plugin.standard.operator
|
||||
|
||||
import org.nwapw.abacus.context.MutableEvaluationContext
|
||||
import org.nwapw.abacus.function.interfaces.NumberOperator
|
||||
import org.nwapw.abacus.function.OperatorAssociativity
|
||||
import org.nwapw.abacus.function.OperatorType
|
||||
import org.nwapw.abacus.function.interfaces.NumberOperator
|
||||
import org.nwapw.abacus.number.NumberInterface
|
||||
|
||||
/**
|
||||
@@ -15,8 +15,8 @@ import org.nwapw.abacus.number.NumberInterface
|
||||
class OperatorNpr: NumberOperator(OperatorAssociativity.RIGHT, OperatorType.BINARY_INFIX, 0) {
|
||||
|
||||
override fun matchesParams(context: MutableEvaluationContext, params: Array<out NumberInterface>) =
|
||||
params.size == 2 && params[0].fractionalPart().signum() == 0
|
||||
&& params[1].fractionalPart().signum() == 0
|
||||
params.size == 2 && params[0].isInteger()
|
||||
&& params[1].isInteger()
|
||||
|
||||
override fun applyInternal(context: MutableEvaluationContext, params: Array<out NumberInterface>): NumberInterface {
|
||||
val implementation = context.inheritedNumberImplementation
|
||||
|
||||
@@ -20,7 +20,7 @@ class OperatorSet: TreeValueOperator(OperatorAssociativity.LEFT, OperatorType.BI
|
||||
|
||||
override fun applyInternal(context: MutableEvaluationContext, params: Array<out TreeNode>): NumberInterface {
|
||||
val assignTo = (params[0] as VariableNode).variable
|
||||
val value = params[1].reduce(context.inheritedReducer)
|
||||
val value = params[1].reduce(context)
|
||||
context.setVariable(assignTo, value)
|
||||
return value
|
||||
}
|
||||
|
||||
@@ -1,9 +1,9 @@
|
||||
package org.nwapw.abacus.plugin.standard.operator
|
||||
|
||||
import org.nwapw.abacus.context.MutableEvaluationContext
|
||||
import org.nwapw.abacus.function.interfaces.NumberOperator
|
||||
import org.nwapw.abacus.function.OperatorAssociativity
|
||||
import org.nwapw.abacus.function.OperatorType
|
||||
import org.nwapw.abacus.function.interfaces.NumberOperator
|
||||
import org.nwapw.abacus.number.NumberInterface
|
||||
|
||||
/**
|
||||
|
||||
@@ -1,67 +0,0 @@
|
||||
package org.nwapw.abacus.tree.standard
|
||||
|
||||
import org.nwapw.abacus.Abacus
|
||||
import org.nwapw.abacus.context.EvaluationContext
|
||||
import org.nwapw.abacus.exception.NumberReducerException
|
||||
import org.nwapw.abacus.exception.ReductionException
|
||||
import org.nwapw.abacus.number.NumberInterface
|
||||
import org.nwapw.abacus.tree.Reducer
|
||||
import org.nwapw.abacus.tree.nodes.*
|
||||
|
||||
class NumberReducer(val abacus: Abacus, context: EvaluationContext) : Reducer<NumberInterface> {
|
||||
|
||||
val context = context.mutableSubInstance()
|
||||
|
||||
init {
|
||||
this.context.reducer = this
|
||||
}
|
||||
|
||||
override fun reduceNode(treeNode: TreeNode, vararg children: Any): NumberInterface {
|
||||
val promotionManager = abacus.promotionManager
|
||||
return when(treeNode){
|
||||
is NumberNode -> {
|
||||
context.inheritedNumberImplementation.instanceForString(treeNode.number)
|
||||
}
|
||||
is VariableNode -> {
|
||||
val variable = context.getVariable(treeNode.variable)
|
||||
if(variable != null) return variable
|
||||
val definition = context.getDefinition(treeNode.variable)
|
||||
if(definition != null) return definition.reduce(this)
|
||||
throw NumberReducerException("variable is not defined.")
|
||||
}
|
||||
is NumberUnaryNode -> {
|
||||
val child = children[0] as NumberInterface
|
||||
context.numberImplementation = abacus.pluginManager.interfaceImplementationFor(child.javaClass)
|
||||
abacus.pluginManager.operatorFor(treeNode.operation)
|
||||
.apply(context, child)
|
||||
}
|
||||
is NumberBinaryNode -> {
|
||||
val left = children[0] as NumberInterface
|
||||
val right = children[1] as NumberInterface
|
||||
val promotionResult = promotionManager.promote(left, right)
|
||||
context.numberImplementation = promotionResult.promotedTo
|
||||
abacus.pluginManager.operatorFor(treeNode.operation).apply(context, *promotionResult.items)
|
||||
}
|
||||
is NumberFunctionNode -> {
|
||||
val promotionResult = promotionManager
|
||||
.promote(*children.map { it as NumberInterface }.toTypedArray())
|
||||
context.numberImplementation = promotionResult.promotedTo
|
||||
abacus.pluginManager.functionFor(treeNode.callTo).apply(context, *promotionResult.items)
|
||||
}
|
||||
is TreeValueUnaryNode -> {
|
||||
abacus.pluginManager.treeValueOperatorFor(treeNode.operation)
|
||||
.apply(context, treeNode.applyTo)
|
||||
}
|
||||
is TreeValueBinaryNode -> {
|
||||
abacus.pluginManager.treeValueOperatorFor(treeNode.operation)
|
||||
.apply(context, treeNode.left, treeNode.right)
|
||||
}
|
||||
is TreeValueFunctionNode -> {
|
||||
abacus.pluginManager.treeValueFunctionFor(treeNode.callTo)
|
||||
.apply(context, *treeNode.children.toTypedArray())
|
||||
}
|
||||
else -> throw ReductionException("unrecognized tree node.")
|
||||
}
|
||||
}
|
||||
|
||||
}
|
||||
@@ -5,19 +5,17 @@ import org.junit.BeforeClass;
|
||||
import org.junit.Test;
|
||||
import org.nwapw.abacus.Abacus;
|
||||
import org.nwapw.abacus.config.Configuration;
|
||||
import org.nwapw.abacus.number.standard.NaiveNumber;
|
||||
import org.nwapw.abacus.number.NumberInterface;
|
||||
import org.nwapw.abacus.number.promotion.PromotionFunction;
|
||||
import org.nwapw.abacus.number.range.NumberRange;
|
||||
import org.nwapw.abacus.number.standard.NaiveNumber;
|
||||
import org.nwapw.abacus.number.standard.PreciseNumber;
|
||||
import org.nwapw.abacus.plugin.standard.StandardPlugin;
|
||||
|
||||
import java.util.function.Function;
|
||||
|
||||
public class RangeTests {
|
||||
|
||||
private static Abacus abacus = new Abacus(new Configuration( "precise", new String[]{}));
|
||||
private static Function<NumberInterface, NumberInterface> naivePromotion = i -> new NaiveNumber((i.toString()));
|
||||
private static Function<NumberInterface, NumberInterface> precisePromotion = i -> new PreciseNumber((i.toString()));
|
||||
private static PromotionFunction naivePromotion = i -> new NaiveNumber((i.toString()));
|
||||
private static PromotionFunction precisePromotion = i -> new PreciseNumber((i.toString()));
|
||||
|
||||
@BeforeClass
|
||||
public static void prepareTests() {
|
||||
|
||||
@@ -6,14 +6,15 @@ import org.junit.Test;
|
||||
import org.nwapw.abacus.Abacus;
|
||||
import org.nwapw.abacus.config.Configuration;
|
||||
import org.nwapw.abacus.context.MutableEvaluationContext;
|
||||
import org.nwapw.abacus.function.*;
|
||||
import org.nwapw.abacus.function.OperatorAssociativity;
|
||||
import org.nwapw.abacus.function.OperatorType;
|
||||
import org.nwapw.abacus.function.interfaces.NumberFunction;
|
||||
import org.nwapw.abacus.function.interfaces.NumberOperator;
|
||||
import org.nwapw.abacus.lexing.Match;
|
||||
import org.nwapw.abacus.number.NumberInterface;
|
||||
import org.nwapw.abacus.parsing.standard.LexerTokenizer;
|
||||
import org.nwapw.abacus.plugin.Plugin;
|
||||
import org.nwapw.abacus.parsing.standard.TokenType;
|
||||
import org.nwapw.abacus.plugin.Plugin;
|
||||
|
||||
import java.util.List;
|
||||
|
||||
|
||||
@@ -16,7 +16,6 @@ import org.nwapw.abacus.exception.AbacusException;
|
||||
import org.nwapw.abacus.function.Documentation;
|
||||
import org.nwapw.abacus.function.DocumentationType;
|
||||
import org.nwapw.abacus.number.*;
|
||||
import org.nwapw.abacus.plugin.ClassFinder;
|
||||
import org.nwapw.abacus.plugin.PluginListener;
|
||||
import org.nwapw.abacus.plugin.PluginManager;
|
||||
import org.nwapw.abacus.plugin.standard.StandardPlugin;
|
||||
@@ -360,10 +359,13 @@ public class AbacusController implements PluginListener {
|
||||
if(documentationInstance == null)
|
||||
documentationInstance = new Documentation(name, "", "", "", DocumentationType.FUNCTION);
|
||||
return documentationInstance;
|
||||
})
|
||||
.collect(Collectors.toCollection(ArrayList::new)));
|
||||
functionList.addAll(manager.getAllTreeValueFunctions().stream().map(name -> pluginManager.documentationFor(name, DocumentationType.TREE_VALUE_FUNCTION))
|
||||
.collect(Collectors.toCollection(ArrayList::new)));
|
||||
}).collect(Collectors.toCollection(ArrayList::new)));
|
||||
functionList.addAll(manager.getAllTreeValueFunctions().stream().map(name -> {
|
||||
Documentation documentationInstance = pluginManager.documentationFor(name, DocumentationType.TREE_VALUE_FUNCTION);
|
||||
if(documentationInstance == null)
|
||||
documentationInstance = new Documentation(name, "", "", "", DocumentationType.TREE_VALUE_FUNCTION);
|
||||
return documentationInstance;
|
||||
}).collect(Collectors.toCollection(ArrayList::new)));
|
||||
functionList.sort(Comparator.comparing(Documentation::getCodeName));
|
||||
}
|
||||
|
||||
|
||||
@@ -1,4 +1,4 @@
|
||||
package org.nwapw.abacus.plugin;
|
||||
package org.nwapw.abacus.fx;
|
||||
|
||||
import java.io.File;
|
||||
import java.io.IOException;
|
||||
Reference in New Issue
Block a user