1
0
mirror of https://github.com/DanilaFe/abacus synced 2026-01-25 16:15:19 +00:00

Compare commits

..

15 Commits

Author SHA1 Message Date
981211ccfa Merge branch 'master' into plugin-conversions 2017-11-14 23:18:18 -08:00
d91536e746 Merge pull request #48 from DanilaFe/documentation-fix
Fix crash when a TreeValueFunction doesn't have documentation loaded.
2017-11-14 23:18:09 -08:00
7c252fddf1 Merge branch 'master' into plugin-conversions 2017-11-14 23:13:51 -08:00
0d26167f31 Merge branch 'master' into documentation-fix 2017-11-14 23:13:44 -08:00
07abe4d17a Merge pull request #46 from DanilaFe/isint-idiom
Add and use isInteger function where appropriate.
2017-11-14 23:13:10 -08:00
8ef0904d26 Fix crash when a TreeValueFunction doesn't have documentation loaded. 2017-11-14 23:08:04 -08:00
92489551ca Move all the number reducer functionality into the context. 2017-11-14 23:03:12 -08:00
2a9026f748 Add and use isInteger function where appropriate. 2017-11-03 21:41:46 -07:00
08e5b69c04 Merge pull request #43 from DanilaFe/java8-subset
Replace some recent android API features with backwards compatible ones.
2017-09-24 13:04:23 -07:00
6a0b667c32 Replace some recent android API features with backwards compatible ones. 2017-09-24 12:58:33 -07:00
5a1fdfe4bc Merge pull request #42 from DanilaFe/java8-subset
Restrict Abacus core to a Java8 subset
2017-09-24 00:38:54 -07:00
378ff946d9 Add a Transformation class that replaces java.util.function use 2017-09-24 00:29:43 -07:00
0511c58b13 Remove the Pattern's dependency on java.util.function 2017-09-24 00:12:25 -07:00
e82a13cde5 Move ClassFinder to the fx module, which is the only place it's used. 2017-09-24 00:01:43 -07:00
40362a7afe Merge pull request #40 from DanilaFe/move-files
More around files into more applicable packages.
2017-09-23 23:46:02 -07:00
31 changed files with 174 additions and 140 deletions

View File

@@ -1,7 +1,7 @@
package org.nwapw.abacus.lexing; 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.Pattern;
import org.nwapw.abacus.lexing.pattern.nodes.EndNode;
import org.nwapw.abacus.lexing.pattern.nodes.PatternNode; import org.nwapw.abacus.lexing.pattern.nodes.PatternNode;
import java.util.*; import java.util.*;
@@ -79,10 +79,10 @@ public class Lexer<T> {
index++; index++;
} }
matches.sort((a, b) -> compare.compare(a.getType(), b.getType()));
if (compare != null) { 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); return matches.isEmpty() ? null : matches.get(matches.size() - 1);
} }
@@ -136,7 +136,10 @@ public class Lexer<T> {
@Override @Override
public int hashCode() { public int hashCode() {
return Objects.hash(name, id); return Arrays.hashCode(new Object[] {
this.name,
this.id
});
} }
@Override @Override

View File

@@ -6,7 +6,6 @@ import java.util.Collection;
import java.util.HashMap; import java.util.HashMap;
import java.util.Map; import java.util.Map;
import java.util.Stack; import java.util.Stack;
import java.util.function.Function;
/** /**
* A pattern that can be compiled from a string and used in lexing. * 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 * A map of regex operator to functions that modify a PatternChain
* with the appropriate operation. * with the appropriate operation.
*/ */
private Map<Character, Function<PatternChain<T>, PatternChain<T>>> operations = private Map<Character, Transformation<T>> operations =
new HashMap<Character, Function<PatternChain<T>, PatternChain<T>>>() {{ new HashMap<Character, Transformation<T>>() {{
put('+', Pattern.this::transformPlus); put('+', Pattern.this::transformPlus);
put('*', Pattern.this::transformStar); put('*', Pattern.this::transformStar);
put('?', Pattern.this::transformQuestion); put('?', Pattern.this::transformQuestion);
@@ -207,7 +206,7 @@ public class Pattern<T> {
if (operations.containsKey(currentChar)) { if (operations.containsKey(currentChar)) {
if (currentChain == null) return null; if (currentChain == null) return null;
currentChain = operations.get(currentChar).apply(currentChain); currentChain = operations.get(currentChar).transform(currentChain);
fullChain.append(currentChain); fullChain.append(currentChain);
currentChain = null; currentChain = null;
index++; index++;

View File

@@ -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);
}

View File

@@ -20,7 +20,7 @@ public class LexerTokenizer implements Tokenizer<Match<TokenType>>, PluginListen
/** /**
* Comparator used to sort the tokens produced by the lexer. * 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. * The lexer instance used to turn strings into matches.

View File

@@ -1,10 +1,10 @@
package org.nwapw.abacus.plugin; package org.nwapw.abacus.plugin;
import org.nwapw.abacus.number.NumberInterface; import org.nwapw.abacus.number.NumberInterface;
import org.nwapw.abacus.number.promotion.PromotionFunction;
import java.util.HashMap; import java.util.HashMap;
import java.util.Map; import java.util.Map;
import java.util.function.Function;
/** /**
* A class that holds data about a number implementation. * 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. * 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. * The implementation class for this implementation.
*/ */
@@ -41,7 +41,7 @@ public abstract class NumberImplementation {
* *
* @return the map of documentation paths. * @return the map of documentation paths.
*/ */
public final Map<String, Function<NumberInterface, NumberInterface>> getPromotionPaths() { public final Map<String, PromotionFunction> getPromotionPaths() {
return promotionPaths; return promotionPaths;
} }

View File

@@ -1,6 +1,7 @@
package org.nwapw.abacus.plugin; 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.NumberFunction;
import org.nwapw.abacus.function.interfaces.NumberOperator; import org.nwapw.abacus.function.interfaces.NumberOperator;
import org.nwapw.abacus.function.interfaces.TreeValueFunction; import org.nwapw.abacus.function.interfaces.TreeValueFunction;

View File

@@ -1,7 +1,8 @@
package org.nwapw.abacus.plugin; package org.nwapw.abacus.plugin;
import org.nwapw.abacus.Abacus; 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.NumberFunction;
import org.nwapw.abacus.function.interfaces.NumberOperator; import org.nwapw.abacus.function.interfaces.NumberOperator;
import org.nwapw.abacus.function.interfaces.TreeValueFunction; import org.nwapw.abacus.function.interfaces.TreeValueFunction;

View File

@@ -1,12 +1,13 @@
package org.nwapw.abacus.plugin.standard; package org.nwapw.abacus.plugin.standard;
import org.nwapw.abacus.context.MutableEvaluationContext; 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.NumberFunction;
import org.nwapw.abacus.function.interfaces.NumberOperator; import org.nwapw.abacus.function.interfaces.NumberOperator;
import org.nwapw.abacus.function.interfaces.TreeValueOperator; 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.NumberInterface;
import org.nwapw.abacus.number.standard.NaiveNumber;
import org.nwapw.abacus.number.standard.PreciseNumber; import org.nwapw.abacus.number.standard.PreciseNumber;
import org.nwapw.abacus.plugin.NumberImplementation; import org.nwapw.abacus.plugin.NumberImplementation;
import org.nwapw.abacus.plugin.Plugin; import org.nwapw.abacus.plugin.Plugin;

View File

@@ -1,15 +1,14 @@
package org.nwapw.abacus package org.nwapw.abacus
import org.nwapw.abacus.config.Configuration import org.nwapw.abacus.config.Configuration
import org.nwapw.abacus.context.MutableEvaluationContext
import org.nwapw.abacus.context.EvaluationContext import org.nwapw.abacus.context.EvaluationContext
import org.nwapw.abacus.context.MutableEvaluationContext
import org.nwapw.abacus.number.promotion.PromotionManager 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.LexerTokenizer
import org.nwapw.abacus.parsing.standard.ShuntingYardParser import org.nwapw.abacus.parsing.standard.ShuntingYardParser
import org.nwapw.abacus.parsing.TreeBuilder
import org.nwapw.abacus.plugin.PluginManager import org.nwapw.abacus.plugin.PluginManager
import org.nwapw.abacus.plugin.standard.StandardPlugin import org.nwapw.abacus.plugin.standard.StandardPlugin
import org.nwapw.abacus.tree.standard.NumberReducer
import org.nwapw.abacus.tree.nodes.TreeNode import org.nwapw.abacus.tree.nodes.TreeNode
/** /**
@@ -47,7 +46,7 @@ class Abacus(val configuration: Configuration) {
/** /**
* The hidden, mutable implementation of the context. * 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. * The base context from which calculations are started.
*/ */
@@ -106,9 +105,8 @@ class Abacus(val configuration: Configuration) {
* @return the evaluation result. * @return the evaluation result.
*/ */
fun evaluateTreeWithContext(tree: TreeNode, context: MutableEvaluationContext): EvaluationResult { fun evaluateTreeWithContext(tree: TreeNode, context: MutableEvaluationContext): EvaluationResult {
val newReducer = NumberReducer(this, context) val evaluationValue = tree.reduce(context)
val evaluationValue = tree.reduce(newReducer) return EvaluationResult(evaluationValue, context)
return EvaluationResult(evaluationValue, newReducer.context)
} }
} }

View File

@@ -1,5 +1,6 @@
package org.nwapw.abacus.context package org.nwapw.abacus.context
import org.nwapw.abacus.Abacus
import org.nwapw.abacus.number.NumberInterface import org.nwapw.abacus.number.NumberInterface
import org.nwapw.abacus.plugin.NumberImplementation import org.nwapw.abacus.plugin.NumberImplementation
import org.nwapw.abacus.tree.Reducer 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 parent the parent of this context.
* @property numberImplementation the implementation for numbers 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, abstract class EvaluationContext(val parent: EvaluationContext? = null,
open val numberImplementation: NumberImplementation? = null, open val numberImplementation: NumberImplementation? = null,
open val reducer: Reducer<NumberInterface>? = null) { open val abacus: Abacus? = null): Reducer<NumberInterface> {
/** /**
* The map of variables in this context. * The map of variables in this context.
@@ -47,10 +48,10 @@ open class EvaluationContext(val parent: EvaluationContext? = null,
by ChainSearchDelegate { numberImplementation } by ChainSearchDelegate { numberImplementation }
/** /**
* The reducer inherited from this context's parent. * The Abacus instance inherited from this context's parent.
*/ */
val inheritedReducer: Reducer<NumberInterface> val inheritedAbacus: Abacus
by ChainSearchDelegate { reducer } by ChainSearchDelegate { abacus }
/** /**
* The set of all variables in this context and its parents. * The set of all variables in this context and its parents.

View File

@@ -1,9 +1,11 @@
package org.nwapw.abacus.context 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.number.NumberInterface
import org.nwapw.abacus.plugin.NumberImplementation import org.nwapw.abacus.plugin.NumberImplementation
import org.nwapw.abacus.tree.Reducer import org.nwapw.abacus.tree.nodes.*
import org.nwapw.abacus.tree.nodes.TreeNode
/** /**
* A reduction context that is mutable. * A reduction context that is mutable.
@@ -13,11 +15,11 @@ import org.nwapw.abacus.tree.nodes.TreeNode
*/ */
class MutableEvaluationContext(parent: EvaluationContext? = null, class MutableEvaluationContext(parent: EvaluationContext? = null,
numberImplementation: NumberImplementation? = null, numberImplementation: NumberImplementation? = null,
reducer: Reducer<NumberInterface>? = null) : abacus: Abacus? = null) :
EvaluationContext(parent, numberImplementation, reducer) { EvaluationContext(parent, numberImplementation, abacus) {
override var numberImplementation: NumberImplementation? = super.numberImplementation 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. * 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) { fun apply(other: EvaluationContext) {
if(other.numberImplementation != null) numberImplementation = other.numberImplementation if(other.numberImplementation != null) numberImplementation = other.numberImplementation
if(other.reducer != null) reducer = other.reducer
for(name in other.variables) { for(name in other.variables) {
setVariable(name, other.getVariable(name) ?: continue) setVariable(name, other.getVariable(name) ?: continue)
} }
@@ -66,4 +67,53 @@ class MutableEvaluationContext(parent: EvaluationContext? = null,
definitionMap.clear() 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.")
}
}
} }

View File

@@ -221,6 +221,13 @@ abstract class NumberInterface: Comparable<NumberInterface> {
return fractionalPartInternal() 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. * 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 * The reason that this returns a builder and not an actual range is that

View File

@@ -3,7 +3,6 @@ package org.nwapw.abacus.number.promotion
import org.nwapw.abacus.number.NumberInterface import org.nwapw.abacus.number.NumberInterface
typealias PromotionFunction = java.util.function.Function<NumberInterface, NumberInterface>
typealias PromotionPath = List<PromotionFunction> typealias PromotionPath = List<PromotionFunction>
typealias NumberClass = Class<NumberInterface> typealias NumberClass = Class<NumberInterface>
@@ -14,5 +13,5 @@ typealias NumberClass = Class<NumberInterface>
* @param from the number to start from. * @param from the number to start from.
*/ */
fun PromotionPath.promote(from: NumberInterface): NumberInterface { fun PromotionPath.promote(from: NumberInterface): NumberInterface {
return fold(from, { current, function -> function.apply(current) }) return fold(from, { current, function -> function.promote(current) })
} }

View File

@@ -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
}

View File

@@ -6,7 +6,6 @@ import org.nwapw.abacus.number.NumberInterface
import org.nwapw.abacus.plugin.NumberImplementation import org.nwapw.abacus.plugin.NumberImplementation
import org.nwapw.abacus.plugin.PluginListener import org.nwapw.abacus.plugin.PluginListener
import org.nwapw.abacus.plugin.PluginManager import org.nwapw.abacus.plugin.PluginManager
import java.util.function.Function
/** /**
* A class that handles promotions based on priority and the * 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 fromName = abacus.pluginManager.interfaceImplementationNameFor(from.implementation)
val toName = abacus.pluginManager.interfaceImplementationNameFor(to.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)) if(from.promotionPaths.containsKey(toName))
return listOf(from.promotionPaths[toName] ?: return null) return listOf(from.promotionPaths[toName] ?: return null)

View File

@@ -1,9 +1,9 @@
package org.nwapw.abacus.plugin.standard.operator package org.nwapw.abacus.plugin.standard.operator
import org.nwapw.abacus.context.MutableEvaluationContext import org.nwapw.abacus.context.MutableEvaluationContext
import org.nwapw.abacus.function.interfaces.NumberOperator
import org.nwapw.abacus.function.OperatorAssociativity import org.nwapw.abacus.function.OperatorAssociativity
import org.nwapw.abacus.function.OperatorType import org.nwapw.abacus.function.OperatorType
import org.nwapw.abacus.function.interfaces.NumberOperator
import org.nwapw.abacus.number.NumberInterface import org.nwapw.abacus.number.NumberInterface
/** /**

View File

@@ -1,9 +1,9 @@
package org.nwapw.abacus.plugin.standard.operator package org.nwapw.abacus.plugin.standard.operator
import org.nwapw.abacus.context.MutableEvaluationContext import org.nwapw.abacus.context.MutableEvaluationContext
import org.nwapw.abacus.function.interfaces.NumberOperator
import org.nwapw.abacus.function.OperatorAssociativity import org.nwapw.abacus.function.OperatorAssociativity
import org.nwapw.abacus.function.OperatorType import org.nwapw.abacus.function.OperatorType
import org.nwapw.abacus.function.interfaces.NumberOperator
import org.nwapw.abacus.number.NumberInterface import org.nwapw.abacus.number.NumberInterface
import org.nwapw.abacus.plugin.standard.StandardPlugin.* 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>) = override fun matchesParams(context: MutableEvaluationContext, params: Array<out NumberInterface>) =
params.size == 2 params.size == 2
&& !(params[0].signum() == 0 && params[1].signum() == 0) && !(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 { override fun applyInternal(context: MutableEvaluationContext, params: Array<out NumberInterface>): NumberInterface {
val implementation = context.inheritedNumberImplementation val implementation = context.inheritedNumberImplementation
@@ -26,7 +26,7 @@ class OperatorCaret: NumberOperator(OperatorAssociativity.RIGHT, OperatorType.BI
else if (params[1].signum() == 0) else if (params[1].signum() == 0)
return implementation.instanceForString("1") return implementation.instanceForString("1")
//Detect integer bases: //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(Integer.toString(Integer.MAX_VALUE))
&& FUNCTION_ABS.apply(context, params[1]) >= implementation.instanceForString("1")) { && FUNCTION_ABS.apply(context, params[1]) >= implementation.instanceForString("1")) {
val newParams = arrayOf(params[0], params[1].fractionalPart()) val newParams = arrayOf(params[0], params[1].fractionalPart())

View File

@@ -22,7 +22,7 @@ class OperatorDefine: TreeValueOperator(OperatorAssociativity.LEFT, OperatorType
override fun applyInternal(context: MutableEvaluationContext, params: Array<out TreeNode>): NumberInterface { override fun applyInternal(context: MutableEvaluationContext, params: Array<out TreeNode>): NumberInterface {
val assignTo = (params[0] as VariableNode).variable val assignTo = (params[0] as VariableNode).variable
context.setDefinition(assignTo, params[1]) context.setDefinition(assignTo, params[1])
return params[1].reduce(context.inheritedReducer) return params[1].reduce(context)
} }
} }

View File

@@ -1,9 +1,9 @@
package org.nwapw.abacus.plugin.standard.operator package org.nwapw.abacus.plugin.standard.operator
import org.nwapw.abacus.context.MutableEvaluationContext import org.nwapw.abacus.context.MutableEvaluationContext
import org.nwapw.abacus.function.interfaces.NumberOperator
import org.nwapw.abacus.function.OperatorAssociativity import org.nwapw.abacus.function.OperatorAssociativity
import org.nwapw.abacus.function.OperatorType import org.nwapw.abacus.function.OperatorType
import org.nwapw.abacus.function.interfaces.NumberOperator
import org.nwapw.abacus.number.NumberInterface import org.nwapw.abacus.number.NumberInterface
/** /**

View File

@@ -1,9 +1,9 @@
package org.nwapw.abacus.plugin.standard.operator package org.nwapw.abacus.plugin.standard.operator
import org.nwapw.abacus.context.MutableEvaluationContext import org.nwapw.abacus.context.MutableEvaluationContext
import org.nwapw.abacus.function.interfaces.NumberOperator
import org.nwapw.abacus.function.OperatorAssociativity import org.nwapw.abacus.function.OperatorAssociativity
import org.nwapw.abacus.function.OperatorType import org.nwapw.abacus.function.OperatorType
import org.nwapw.abacus.function.interfaces.NumberOperator
import org.nwapw.abacus.number.NumberInterface 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>) = override fun matchesParams(context: MutableEvaluationContext, params: Array<out NumberInterface>) =
params.size == 1 params.size == 1
&& params[0].fractionalPart().signum() == 0 && params[0].isInteger()
&& params[0].signum() >= 0 && params[0].signum() >= 0
override fun applyInternal(context: MutableEvaluationContext, params: Array<out NumberInterface>): NumberInterface { override fun applyInternal(context: MutableEvaluationContext, params: Array<out NumberInterface>): NumberInterface {

View File

@@ -1,9 +1,9 @@
package org.nwapw.abacus.plugin.standard.operator package org.nwapw.abacus.plugin.standard.operator
import org.nwapw.abacus.context.MutableEvaluationContext import org.nwapw.abacus.context.MutableEvaluationContext
import org.nwapw.abacus.function.interfaces.NumberOperator
import org.nwapw.abacus.function.OperatorAssociativity import org.nwapw.abacus.function.OperatorAssociativity
import org.nwapw.abacus.function.OperatorType import org.nwapw.abacus.function.OperatorType
import org.nwapw.abacus.function.interfaces.NumberOperator
import org.nwapw.abacus.number.NumberInterface import org.nwapw.abacus.number.NumberInterface
/** /**

View File

@@ -1,11 +1,12 @@
package org.nwapw.abacus.plugin.standard.operator package org.nwapw.abacus.plugin.standard.operator
import org.nwapw.abacus.context.MutableEvaluationContext import org.nwapw.abacus.context.MutableEvaluationContext
import org.nwapw.abacus.function.interfaces.NumberOperator
import org.nwapw.abacus.function.OperatorAssociativity import org.nwapw.abacus.function.OperatorAssociativity
import org.nwapw.abacus.function.OperatorType import org.nwapw.abacus.function.OperatorType
import org.nwapw.abacus.function.interfaces.NumberOperator
import org.nwapw.abacus.number.NumberInterface 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. * 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) { class OperatorNcr: NumberOperator(OperatorAssociativity.RIGHT, OperatorType.BINARY_INFIX, 0) {
override fun matchesParams(context: MutableEvaluationContext, params: Array<out NumberInterface>) = override fun matchesParams(context: MutableEvaluationContext, params: Array<out NumberInterface>) =
params.size == 2 && params[0].fractionalPart().signum() == 0 params.size == 2 && params[0].isInteger()
&& params[1].fractionalPart().signum() == 0 && params[1].isInteger()
override fun applyInternal(context: MutableEvaluationContext, params: Array<out NumberInterface>) = override fun applyInternal(context: MutableEvaluationContext, params: Array<out NumberInterface>) =
OP_NPR.apply(context, *params) / OP_FACTORIAL.apply(context, params[1]) OP_NPR.apply(context, *params) / OP_FACTORIAL.apply(context, params[1])

View File

@@ -1,9 +1,9 @@
package org.nwapw.abacus.plugin.standard.operator package org.nwapw.abacus.plugin.standard.operator
import org.nwapw.abacus.context.MutableEvaluationContext import org.nwapw.abacus.context.MutableEvaluationContext
import org.nwapw.abacus.function.interfaces.NumberOperator
import org.nwapw.abacus.function.OperatorAssociativity import org.nwapw.abacus.function.OperatorAssociativity
import org.nwapw.abacus.function.OperatorType import org.nwapw.abacus.function.OperatorType
import org.nwapw.abacus.function.interfaces.NumberOperator
import org.nwapw.abacus.number.NumberInterface import org.nwapw.abacus.number.NumberInterface
/** /**

View File

@@ -1,9 +1,9 @@
package org.nwapw.abacus.plugin.standard.operator package org.nwapw.abacus.plugin.standard.operator
import org.nwapw.abacus.context.MutableEvaluationContext import org.nwapw.abacus.context.MutableEvaluationContext
import org.nwapw.abacus.function.interfaces.NumberOperator
import org.nwapw.abacus.function.OperatorAssociativity import org.nwapw.abacus.function.OperatorAssociativity
import org.nwapw.abacus.function.OperatorType import org.nwapw.abacus.function.OperatorType
import org.nwapw.abacus.function.interfaces.NumberOperator
import org.nwapw.abacus.number.NumberInterface 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) { class OperatorNpr: NumberOperator(OperatorAssociativity.RIGHT, OperatorType.BINARY_INFIX, 0) {
override fun matchesParams(context: MutableEvaluationContext, params: Array<out NumberInterface>) = override fun matchesParams(context: MutableEvaluationContext, params: Array<out NumberInterface>) =
params.size == 2 && params[0].fractionalPart().signum() == 0 params.size == 2 && params[0].isInteger()
&& params[1].fractionalPart().signum() == 0 && params[1].isInteger()
override fun applyInternal(context: MutableEvaluationContext, params: Array<out NumberInterface>): NumberInterface { override fun applyInternal(context: MutableEvaluationContext, params: Array<out NumberInterface>): NumberInterface {
val implementation = context.inheritedNumberImplementation val implementation = context.inheritedNumberImplementation

View File

@@ -20,7 +20,7 @@ class OperatorSet: TreeValueOperator(OperatorAssociativity.LEFT, OperatorType.BI
override fun applyInternal(context: MutableEvaluationContext, params: Array<out TreeNode>): NumberInterface { override fun applyInternal(context: MutableEvaluationContext, params: Array<out TreeNode>): NumberInterface {
val assignTo = (params[0] as VariableNode).variable val assignTo = (params[0] as VariableNode).variable
val value = params[1].reduce(context.inheritedReducer) val value = params[1].reduce(context)
context.setVariable(assignTo, value) context.setVariable(assignTo, value)
return value return value
} }

View File

@@ -1,9 +1,9 @@
package org.nwapw.abacus.plugin.standard.operator package org.nwapw.abacus.plugin.standard.operator
import org.nwapw.abacus.context.MutableEvaluationContext import org.nwapw.abacus.context.MutableEvaluationContext
import org.nwapw.abacus.function.interfaces.NumberOperator
import org.nwapw.abacus.function.OperatorAssociativity import org.nwapw.abacus.function.OperatorAssociativity
import org.nwapw.abacus.function.OperatorType import org.nwapw.abacus.function.OperatorType
import org.nwapw.abacus.function.interfaces.NumberOperator
import org.nwapw.abacus.number.NumberInterface import org.nwapw.abacus.number.NumberInterface
/** /**

View File

@@ -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.")
}
}
}

View File

@@ -5,19 +5,17 @@ import org.junit.BeforeClass;
import org.junit.Test; import org.junit.Test;
import org.nwapw.abacus.Abacus; import org.nwapw.abacus.Abacus;
import org.nwapw.abacus.config.Configuration; import org.nwapw.abacus.config.Configuration;
import org.nwapw.abacus.number.standard.NaiveNumber; import org.nwapw.abacus.number.promotion.PromotionFunction;
import org.nwapw.abacus.number.NumberInterface;
import org.nwapw.abacus.number.range.NumberRange; 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.number.standard.PreciseNumber;
import org.nwapw.abacus.plugin.standard.StandardPlugin; import org.nwapw.abacus.plugin.standard.StandardPlugin;
import java.util.function.Function;
public class RangeTests { public class RangeTests {
private static Abacus abacus = new Abacus(new Configuration( "precise", new String[]{})); private static Abacus abacus = new Abacus(new Configuration( "precise", new String[]{}));
private static Function<NumberInterface, NumberInterface> naivePromotion = i -> new NaiveNumber((i.toString())); private static PromotionFunction naivePromotion = i -> new NaiveNumber((i.toString()));
private static Function<NumberInterface, NumberInterface> precisePromotion = i -> new PreciseNumber((i.toString())); private static PromotionFunction precisePromotion = i -> new PreciseNumber((i.toString()));
@BeforeClass @BeforeClass
public static void prepareTests() { public static void prepareTests() {

View File

@@ -6,14 +6,15 @@ import org.junit.Test;
import org.nwapw.abacus.Abacus; import org.nwapw.abacus.Abacus;
import org.nwapw.abacus.config.Configuration; import org.nwapw.abacus.config.Configuration;
import org.nwapw.abacus.context.MutableEvaluationContext; 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.NumberFunction;
import org.nwapw.abacus.function.interfaces.NumberOperator; import org.nwapw.abacus.function.interfaces.NumberOperator;
import org.nwapw.abacus.lexing.Match; import org.nwapw.abacus.lexing.Match;
import org.nwapw.abacus.number.NumberInterface; import org.nwapw.abacus.number.NumberInterface;
import org.nwapw.abacus.parsing.standard.LexerTokenizer; import org.nwapw.abacus.parsing.standard.LexerTokenizer;
import org.nwapw.abacus.plugin.Plugin;
import org.nwapw.abacus.parsing.standard.TokenType; import org.nwapw.abacus.parsing.standard.TokenType;
import org.nwapw.abacus.plugin.Plugin;
import java.util.List; import java.util.List;

View File

@@ -16,7 +16,6 @@ import org.nwapw.abacus.exception.AbacusException;
import org.nwapw.abacus.function.Documentation; import org.nwapw.abacus.function.Documentation;
import org.nwapw.abacus.function.DocumentationType; import org.nwapw.abacus.function.DocumentationType;
import org.nwapw.abacus.number.*; import org.nwapw.abacus.number.*;
import org.nwapw.abacus.plugin.ClassFinder;
import org.nwapw.abacus.plugin.PluginListener; import org.nwapw.abacus.plugin.PluginListener;
import org.nwapw.abacus.plugin.PluginManager; import org.nwapw.abacus.plugin.PluginManager;
import org.nwapw.abacus.plugin.standard.StandardPlugin; import org.nwapw.abacus.plugin.standard.StandardPlugin;
@@ -360,10 +359,13 @@ public class AbacusController implements PluginListener {
if(documentationInstance == null) if(documentationInstance == null)
documentationInstance = new Documentation(name, "", "", "", DocumentationType.FUNCTION); documentationInstance = new Documentation(name, "", "", "", DocumentationType.FUNCTION);
return documentationInstance; return documentationInstance;
}) }).collect(Collectors.toCollection(ArrayList::new)));
.collect(Collectors.toCollection(ArrayList::new))); functionList.addAll(manager.getAllTreeValueFunctions().stream().map(name -> {
functionList.addAll(manager.getAllTreeValueFunctions().stream().map(name -> pluginManager.documentationFor(name, DocumentationType.TREE_VALUE_FUNCTION)) Documentation documentationInstance = pluginManager.documentationFor(name, DocumentationType.TREE_VALUE_FUNCTION);
.collect(Collectors.toCollection(ArrayList::new))); if(documentationInstance == null)
documentationInstance = new Documentation(name, "", "", "", DocumentationType.TREE_VALUE_FUNCTION);
return documentationInstance;
}).collect(Collectors.toCollection(ArrayList::new)));
functionList.sort(Comparator.comparing(Documentation::getCodeName)); functionList.sort(Comparator.comparing(Documentation::getCodeName));
} }

View File

@@ -1,4 +1,4 @@
package org.nwapw.abacus.plugin; package org.nwapw.abacus.fx;
import java.io.File; import java.io.File;
import java.io.IOException; import java.io.IOException;