mirror of
https://github.com/DanilaFe/abacus
synced 2026-01-25 16:15:19 +00:00
Compare commits
13 Commits
more-kotli
...
documentat
| Author | SHA1 | Date | |
|---|---|---|---|
| 0d26167f31 | |||
| 07abe4d17a | |||
| 8ef0904d26 | |||
| 2a9026f748 | |||
| 08e5b69c04 | |||
| 6a0b667c32 | |||
| 5a1fdfe4bc | |||
| 378ff946d9 | |||
| 0511c58b13 | |||
| e82a13cde5 | |||
| 40362a7afe | |||
| c990d4c50a | |||
| d7bb838866 |
@@ -1,9 +1,8 @@
|
|||||||
package org.nwapw.abacus.lexing;
|
package org.nwapw.abacus.lexing;
|
||||||
|
|
||||||
import org.nwapw.abacus.lexing.pattern.EndNode;
|
import org.nwapw.abacus.lexing.pattern.nodes.EndNode;
|
||||||
import org.nwapw.abacus.lexing.pattern.Match;
|
|
||||||
import org.nwapw.abacus.lexing.pattern.Pattern;
|
import org.nwapw.abacus.lexing.pattern.Pattern;
|
||||||
import org.nwapw.abacus.lexing.pattern.PatternNode;
|
import org.nwapw.abacus.lexing.pattern.nodes.PatternNode;
|
||||||
|
|
||||||
import java.util.*;
|
import java.util.*;
|
||||||
|
|
||||||
@@ -80,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);
|
||||||
}
|
}
|
||||||
|
|
||||||
@@ -137,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
|
||||||
|
|||||||
@@ -1,4 +1,4 @@
|
|||||||
package org.nwapw.abacus.lexing.pattern;
|
package org.nwapw.abacus.lexing;
|
||||||
|
|
||||||
/**
|
/**
|
||||||
* A match that has been generated by the lexer.
|
* A match that has been generated by the lexer.
|
||||||
@@ -1,10 +1,11 @@
|
|||||||
package org.nwapw.abacus.lexing.pattern;
|
package org.nwapw.abacus.lexing.pattern;
|
||||||
|
|
||||||
|
import org.nwapw.abacus.lexing.pattern.nodes.*;
|
||||||
|
|
||||||
import java.util.Collection;
|
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.
|
||||||
@@ -34,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);
|
||||||
@@ -88,7 +89,7 @@ public class Pattern<T> {
|
|||||||
* @return the modified chain.
|
* @return the modified chain.
|
||||||
*/
|
*/
|
||||||
private PatternChain<T> transformPlus(PatternChain<T> chain) {
|
private PatternChain<T> transformPlus(PatternChain<T> chain) {
|
||||||
chain.tail.outputStates.add(chain.head);
|
chain.tail.getOutputStates().add(chain.head);
|
||||||
return chain;
|
return chain;
|
||||||
}
|
}
|
||||||
|
|
||||||
@@ -102,10 +103,10 @@ public class Pattern<T> {
|
|||||||
private PatternChain<T> transformStar(PatternChain<T> chain) {
|
private PatternChain<T> transformStar(PatternChain<T> chain) {
|
||||||
LinkNode<T> newTail = new LinkNode<>();
|
LinkNode<T> newTail = new LinkNode<>();
|
||||||
LinkNode<T> newHead = new LinkNode<>();
|
LinkNode<T> newHead = new LinkNode<>();
|
||||||
newHead.outputStates.add(chain.head);
|
newHead.getOutputStates().add(chain.head);
|
||||||
newHead.outputStates.add(newTail);
|
newHead.getOutputStates().add(newTail);
|
||||||
chain.tail.outputStates.add(newTail);
|
chain.tail.getOutputStates().add(newTail);
|
||||||
newTail.outputStates.add(newHead);
|
newTail.getOutputStates().add(newHead);
|
||||||
chain.head = newHead;
|
chain.head = newHead;
|
||||||
chain.tail = newTail;
|
chain.tail = newTail;
|
||||||
return chain;
|
return chain;
|
||||||
@@ -121,9 +122,9 @@ public class Pattern<T> {
|
|||||||
private PatternChain<T> transformQuestion(PatternChain<T> chain) {
|
private PatternChain<T> transformQuestion(PatternChain<T> chain) {
|
||||||
LinkNode<T> newTail = new LinkNode<>();
|
LinkNode<T> newTail = new LinkNode<>();
|
||||||
LinkNode<T> newHead = new LinkNode<>();
|
LinkNode<T> newHead = new LinkNode<>();
|
||||||
newHead.outputStates.add(chain.head);
|
newHead.getOutputStates().add(chain.head);
|
||||||
newHead.outputStates.add(newTail);
|
newHead.getOutputStates().add(newTail);
|
||||||
chain.tail.outputStates.add(newTail);
|
chain.tail.getOutputStates().add(newTail);
|
||||||
chain.head = newHead;
|
chain.head = newHead;
|
||||||
chain.tail = newTail;
|
chain.tail = newTail;
|
||||||
return chain;
|
return chain;
|
||||||
@@ -140,8 +141,8 @@ public class Pattern<T> {
|
|||||||
LinkNode<T> tail = new LinkNode<>();
|
LinkNode<T> tail = new LinkNode<>();
|
||||||
PatternChain<T> newChain = new PatternChain<>(head, tail);
|
PatternChain<T> newChain = new PatternChain<>(head, tail);
|
||||||
for (PatternChain<T> chain : collection) {
|
for (PatternChain<T> chain : collection) {
|
||||||
head.outputStates.add(chain.head);
|
head.getOutputStates().add(chain.head);
|
||||||
chain.tail.outputStates.add(tail);
|
chain.tail.getOutputStates().add(tail);
|
||||||
}
|
}
|
||||||
return newChain;
|
return newChain;
|
||||||
}
|
}
|
||||||
@@ -205,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++;
|
||||||
|
|||||||
@@ -1,5 +1,7 @@
|
|||||||
package org.nwapw.abacus.lexing.pattern;
|
package org.nwapw.abacus.lexing.pattern;
|
||||||
|
|
||||||
|
import org.nwapw.abacus.lexing.pattern.nodes.PatternNode;
|
||||||
|
|
||||||
/**
|
/**
|
||||||
* A chain of nodes that can be treated as a single unit.
|
* A chain of nodes that can be treated as a single unit.
|
||||||
* Used during pattern compilation.
|
* Used during pattern compilation.
|
||||||
@@ -56,7 +58,7 @@ public class PatternChain<T> {
|
|||||||
this.head = other.head;
|
this.head = other.head;
|
||||||
this.tail = other.tail;
|
this.tail = other.tail;
|
||||||
} else {
|
} else {
|
||||||
tail.outputStates.add(other.head);
|
tail.getOutputStates().add(other.head);
|
||||||
tail = other.tail;
|
tail = other.tail;
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
@@ -72,7 +74,7 @@ public class PatternChain<T> {
|
|||||||
if (tail == null) {
|
if (tail == null) {
|
||||||
head = tail = node;
|
head = tail = node;
|
||||||
} else {
|
} else {
|
||||||
tail.outputStates.add(node);
|
tail.getOutputStates().add(node);
|
||||||
tail = node;
|
tail = node;
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|||||||
@@ -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);
|
||||||
|
|
||||||
|
}
|
||||||
@@ -1,4 +1,4 @@
|
|||||||
package org.nwapw.abacus.lexing.pattern;
|
package org.nwapw.abacus.lexing.pattern.nodes;
|
||||||
|
|
||||||
/**
|
/**
|
||||||
* A pattern node that matches any character.
|
* A pattern node that matches any character.
|
||||||
@@ -1,4 +1,4 @@
|
|||||||
package org.nwapw.abacus.lexing.pattern;
|
package org.nwapw.abacus.lexing.pattern.nodes;
|
||||||
|
|
||||||
/**
|
/**
|
||||||
* A node that represents a successful match.
|
* A node that represents a successful match.
|
||||||
@@ -1,4 +1,4 @@
|
|||||||
package org.nwapw.abacus.lexing.pattern;
|
package org.nwapw.abacus.lexing.pattern.nodes;
|
||||||
|
|
||||||
import java.util.Collection;
|
import java.util.Collection;
|
||||||
|
|
||||||
@@ -1,4 +1,4 @@
|
|||||||
package org.nwapw.abacus.lexing.pattern;
|
package org.nwapw.abacus.lexing.pattern.nodes;
|
||||||
|
|
||||||
import java.util.Collection;
|
import java.util.Collection;
|
||||||
import java.util.HashSet;
|
import java.util.HashSet;
|
||||||
@@ -65,4 +65,11 @@ public class PatternNode<T> {
|
|||||||
outputStates.forEach(e -> e.addInto(into));
|
outputStates.forEach(e -> e.addInto(into));
|
||||||
}
|
}
|
||||||
|
|
||||||
|
/**
|
||||||
|
* Gets the output states of this node.
|
||||||
|
* @return the output states.
|
||||||
|
*/
|
||||||
|
public Set<PatternNode<T>> getOutputStates() {
|
||||||
|
return outputStates;
|
||||||
|
}
|
||||||
}
|
}
|
||||||
@@ -1,4 +1,4 @@
|
|||||||
package org.nwapw.abacus.lexing.pattern;
|
package org.nwapw.abacus.lexing.pattern.nodes;
|
||||||
|
|
||||||
/**
|
/**
|
||||||
* A node that matches a range of characters.
|
* A node that matches a range of characters.
|
||||||
@@ -1,4 +1,4 @@
|
|||||||
package org.nwapw.abacus.lexing.pattern;
|
package org.nwapw.abacus.lexing.pattern.nodes;
|
||||||
|
|
||||||
/**
|
/**
|
||||||
* A node that matches a single value.
|
* A node that matches a single value.
|
||||||
@@ -1,4 +1,6 @@
|
|||||||
package org.nwapw.abacus.number;
|
package org.nwapw.abacus.number.standard;
|
||||||
|
|
||||||
|
import org.nwapw.abacus.number.NumberInterface;
|
||||||
|
|
||||||
/**
|
/**
|
||||||
* An implementation of NumberInterface using a double.
|
* An implementation of NumberInterface using a double.
|
||||||
@@ -1,4 +1,6 @@
|
|||||||
package org.nwapw.abacus.number;
|
package org.nwapw.abacus.number.standard;
|
||||||
|
|
||||||
|
import org.nwapw.abacus.number.NumberInterface;
|
||||||
|
|
||||||
import java.math.BigDecimal;
|
import java.math.BigDecimal;
|
||||||
import java.math.MathContext;
|
import java.math.MathContext;
|
||||||
@@ -1,12 +1,12 @@
|
|||||||
package org.nwapw.abacus.parsing;
|
package org.nwapw.abacus.parsing.standard;
|
||||||
|
|
||||||
import org.nwapw.abacus.exception.TokenizeException;
|
import org.nwapw.abacus.exception.TokenizeException;
|
||||||
import org.nwapw.abacus.lexing.Lexer;
|
import org.nwapw.abacus.lexing.Lexer;
|
||||||
import org.nwapw.abacus.lexing.pattern.Match;
|
import org.nwapw.abacus.lexing.Match;
|
||||||
import org.nwapw.abacus.lexing.pattern.Pattern;
|
import org.nwapw.abacus.lexing.pattern.Pattern;
|
||||||
|
import org.nwapw.abacus.parsing.Tokenizer;
|
||||||
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.tree.TokenType;
|
|
||||||
|
|
||||||
import java.util.Comparator;
|
import java.util.Comparator;
|
||||||
import java.util.List;
|
import java.util.List;
|
||||||
@@ -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.
|
||||||
@@ -1,13 +1,14 @@
|
|||||||
package org.nwapw.abacus.parsing;
|
package org.nwapw.abacus.parsing.standard;
|
||||||
|
|
||||||
import org.nwapw.abacus.exception.ParseException;
|
import org.nwapw.abacus.exception.ParseException;
|
||||||
import org.nwapw.abacus.function.Operator;
|
import org.nwapw.abacus.function.Operator;
|
||||||
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.lexing.pattern.Match;
|
import org.nwapw.abacus.lexing.Match;
|
||||||
|
import org.nwapw.abacus.parsing.Parser;
|
||||||
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.tree.*;
|
import org.nwapw.abacus.tree.nodes.*;
|
||||||
|
|
||||||
import java.util.*;
|
import java.util.*;
|
||||||
|
|
||||||
@@ -162,7 +163,7 @@ public class ShuntingYardParser implements Parser<Match<TokenType>>, PluginListe
|
|||||||
matches.remove(0);
|
matches.remove(0);
|
||||||
CallNode node;
|
CallNode node;
|
||||||
if (matchType == TokenType.FUNCTION) {
|
if (matchType == TokenType.FUNCTION) {
|
||||||
node = new FunctionNode(functionName, children);
|
node = new NumberFunctionNode(functionName, children);
|
||||||
} else {
|
} else {
|
||||||
node = new TreeValueFunctionNode(functionName, children);
|
node = new TreeValueFunctionNode(functionName, children);
|
||||||
}
|
}
|
||||||
@@ -1,4 +1,4 @@
|
|||||||
package org.nwapw.abacus.tree;
|
package org.nwapw.abacus.parsing.standard;
|
||||||
|
|
||||||
/**
|
/**
|
||||||
* Enum to represent the type of the token that has been matched
|
* Enum to represent the type of the token that has been matched
|
||||||
@@ -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;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|||||||
@@ -1,6 +1,10 @@
|
|||||||
package org.nwapw.abacus.plugin;
|
package org.nwapw.abacus.plugin;
|
||||||
|
|
||||||
import org.nwapw.abacus.function.*;
|
import org.nwapw.abacus.function.*;
|
||||||
|
import org.nwapw.abacus.function.interfaces.NumberFunction;
|
||||||
|
import org.nwapw.abacus.function.interfaces.NumberOperator;
|
||||||
|
import org.nwapw.abacus.function.interfaces.TreeValueFunction;
|
||||||
|
import org.nwapw.abacus.function.interfaces.TreeValueOperator;
|
||||||
import org.nwapw.abacus.number.NumberInterface;
|
import org.nwapw.abacus.number.NumberInterface;
|
||||||
|
|
||||||
/**
|
/**
|
||||||
|
|||||||
@@ -2,6 +2,10 @@ 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.*;
|
||||||
|
import org.nwapw.abacus.function.interfaces.NumberFunction;
|
||||||
|
import org.nwapw.abacus.function.interfaces.NumberOperator;
|
||||||
|
import org.nwapw.abacus.function.interfaces.TreeValueFunction;
|
||||||
|
import org.nwapw.abacus.function.interfaces.TreeValueOperator;
|
||||||
import org.nwapw.abacus.number.NumberInterface;
|
import org.nwapw.abacus.number.NumberInterface;
|
||||||
|
|
||||||
import java.lang.reflect.InvocationTargetException;
|
import java.lang.reflect.InvocationTargetException;
|
||||||
|
|||||||
@@ -2,9 +2,12 @@ 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.*;
|
||||||
import org.nwapw.abacus.number.NaiveNumber;
|
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.NumberInterface;
|
||||||
import org.nwapw.abacus.number.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;
|
||||||
import org.nwapw.abacus.plugin.PluginManager;
|
import org.nwapw.abacus.plugin.PluginManager;
|
||||||
|
|||||||
@@ -3,15 +3,14 @@ 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.MutableEvaluationContext
|
||||||
import org.nwapw.abacus.context.EvaluationContext
|
import org.nwapw.abacus.context.EvaluationContext
|
||||||
import org.nwapw.abacus.number.PromotionManager
|
import org.nwapw.abacus.number.promotion.PromotionManager
|
||||||
import org.nwapw.abacus.parsing.LexerTokenizer
|
import org.nwapw.abacus.parsing.standard.LexerTokenizer
|
||||||
import org.nwapw.abacus.parsing.ShuntingYardParser
|
import org.nwapw.abacus.parsing.standard.ShuntingYardParser
|
||||||
import org.nwapw.abacus.parsing.TreeBuilder
|
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.EvaluationResult
|
import org.nwapw.abacus.tree.standard.NumberReducer
|
||||||
import org.nwapw.abacus.tree.NumberReducer
|
import org.nwapw.abacus.tree.nodes.TreeNode
|
||||||
import org.nwapw.abacus.tree.TreeNode
|
|
||||||
|
|
||||||
/**
|
/**
|
||||||
* Core class to handle all mathematics.
|
* Core class to handle all mathematics.
|
||||||
|
|||||||
@@ -1,4 +1,4 @@
|
|||||||
package org.nwapw.abacus.tree
|
package org.nwapw.abacus
|
||||||
|
|
||||||
import org.nwapw.abacus.context.MutableEvaluationContext
|
import org.nwapw.abacus.context.MutableEvaluationContext
|
||||||
import org.nwapw.abacus.number.NumberInterface
|
import org.nwapw.abacus.number.NumberInterface
|
||||||
@@ -3,7 +3,7 @@ package org.nwapw.abacus.context
|
|||||||
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
|
||||||
import org.nwapw.abacus.tree.TreeNode
|
import org.nwapw.abacus.tree.nodes.TreeNode
|
||||||
|
|
||||||
/**
|
/**
|
||||||
* A context for the reduction of a [org.nwapw.abacus.tree.TreeNode] into a number.
|
* A context for the reduction of a [org.nwapw.abacus.tree.TreeNode] into a number.
|
||||||
|
|||||||
@@ -3,7 +3,7 @@ package org.nwapw.abacus.context
|
|||||||
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
|
||||||
import org.nwapw.abacus.tree.TreeNode
|
import org.nwapw.abacus.tree.nodes.TreeNode
|
||||||
|
|
||||||
/**
|
/**
|
||||||
* A reduction context that is mutable.
|
* A reduction context that is mutable.
|
||||||
|
|||||||
@@ -1,4 +1,4 @@
|
|||||||
package org.nwapw.abacus.function.applicable
|
package org.nwapw.abacus.function
|
||||||
|
|
||||||
import org.nwapw.abacus.context.MutableEvaluationContext
|
import org.nwapw.abacus.context.MutableEvaluationContext
|
||||||
import org.nwapw.abacus.exception.DomainException
|
import org.nwapw.abacus.exception.DomainException
|
||||||
@@ -1,6 +1,6 @@
|
|||||||
package org.nwapw.abacus.function
|
package org.nwapw.abacus.function.interfaces
|
||||||
|
|
||||||
import org.nwapw.abacus.function.applicable.Applicable
|
import org.nwapw.abacus.function.Applicable
|
||||||
import org.nwapw.abacus.number.NumberInterface
|
import org.nwapw.abacus.number.NumberInterface
|
||||||
|
|
||||||
/**
|
/**
|
||||||
@@ -1,6 +1,9 @@
|
|||||||
package org.nwapw.abacus.function
|
package org.nwapw.abacus.function.interfaces
|
||||||
|
|
||||||
import org.nwapw.abacus.function.applicable.Applicable
|
import org.nwapw.abacus.function.Applicable
|
||||||
|
import org.nwapw.abacus.function.Operator
|
||||||
|
import org.nwapw.abacus.function.OperatorAssociativity
|
||||||
|
import org.nwapw.abacus.function.OperatorType
|
||||||
import org.nwapw.abacus.number.NumberInterface
|
import org.nwapw.abacus.number.NumberInterface
|
||||||
|
|
||||||
/**
|
/**
|
||||||
@@ -1,8 +1,8 @@
|
|||||||
package org.nwapw.abacus.function
|
package org.nwapw.abacus.function.interfaces
|
||||||
|
|
||||||
import org.nwapw.abacus.function.applicable.Applicable
|
import org.nwapw.abacus.function.Applicable
|
||||||
import org.nwapw.abacus.number.NumberInterface
|
import org.nwapw.abacus.number.NumberInterface
|
||||||
import org.nwapw.abacus.tree.TreeNode
|
import org.nwapw.abacus.tree.nodes.TreeNode
|
||||||
|
|
||||||
/**
|
/**
|
||||||
* A function that operates on trees.
|
* A function that operates on trees.
|
||||||
@@ -1,8 +1,11 @@
|
|||||||
package org.nwapw.abacus.function
|
package org.nwapw.abacus.function.interfaces
|
||||||
|
|
||||||
import org.nwapw.abacus.function.applicable.Applicable
|
import org.nwapw.abacus.function.Applicable
|
||||||
|
import org.nwapw.abacus.function.Operator
|
||||||
|
import org.nwapw.abacus.function.OperatorAssociativity
|
||||||
|
import org.nwapw.abacus.function.OperatorType
|
||||||
import org.nwapw.abacus.number.NumberInterface
|
import org.nwapw.abacus.number.NumberInterface
|
||||||
import org.nwapw.abacus.tree.TreeNode
|
import org.nwapw.abacus.tree.nodes.TreeNode
|
||||||
|
|
||||||
/**
|
/**
|
||||||
* An operator that operates on trees.
|
* An operator that operates on trees.
|
||||||
@@ -1,6 +1,7 @@
|
|||||||
package org.nwapw.abacus.number
|
package org.nwapw.abacus.number
|
||||||
|
|
||||||
import org.nwapw.abacus.exception.ComputationInterruptedException
|
import org.nwapw.abacus.exception.ComputationInterruptedException
|
||||||
|
import org.nwapw.abacus.number.range.NumberRangeBuilder
|
||||||
|
|
||||||
abstract class NumberInterface: Comparable<NumberInterface> {
|
abstract class NumberInterface: Comparable<NumberInterface> {
|
||||||
|
|
||||||
@@ -220,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
|
||||||
|
|||||||
@@ -1,7 +1,8 @@
|
|||||||
@file:JvmName("NumberUtils")
|
@file:JvmName("NumberUtils")
|
||||||
package org.nwapw.abacus.number
|
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 PromotionPath = List<PromotionFunction>
|
||||||
typealias NumberClass = Class<NumberInterface>
|
typealias NumberClass = Class<NumberInterface>
|
||||||
|
|
||||||
@@ -12,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) })
|
||||||
}
|
}
|
||||||
@@ -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
|
||||||
|
|
||||||
|
}
|
||||||
@@ -1,11 +1,11 @@
|
|||||||
package org.nwapw.abacus.number
|
package org.nwapw.abacus.number.promotion
|
||||||
|
|
||||||
import org.nwapw.abacus.Abacus
|
import org.nwapw.abacus.Abacus
|
||||||
import org.nwapw.abacus.exception.PromotionException
|
import org.nwapw.abacus.exception.PromotionException
|
||||||
|
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
|
||||||
@@ -31,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)
|
||||||
@@ -51,7 +55,7 @@ class PromotionManager(val abacus: Abacus) : PluginListener {
|
|||||||
val implementations = numbers.map { pluginManager.interfaceImplementationFor(it.javaClass) }
|
val implementations = numbers.map { pluginManager.interfaceImplementationFor(it.javaClass) }
|
||||||
val highestPriority = implementations.sortedBy { it.priority }.last()
|
val highestPriority = implementations.sortedBy { it.priority }.last()
|
||||||
return PromotionResult(items = numbers.map {
|
return PromotionResult(items = numbers.map {
|
||||||
if(it.javaClass == highestPriority.implementation) it
|
if (it.javaClass == highestPriority.implementation) it
|
||||||
else computePaths[pluginManager.interfaceImplementationFor(it.javaClass) to highestPriority]
|
else computePaths[pluginManager.interfaceImplementationFor(it.javaClass) to highestPriority]
|
||||||
?.promote(it) ?: throw PromotionException()
|
?.promote(it) ?: throw PromotionException()
|
||||||
}.toTypedArray(), promotedTo = highestPriority)
|
}.toTypedArray(), promotedTo = highestPriority)
|
||||||
@@ -1,5 +1,6 @@
|
|||||||
package org.nwapw.abacus.number
|
package org.nwapw.abacus.number.promotion
|
||||||
|
|
||||||
|
import org.nwapw.abacus.number.NumberInterface
|
||||||
import org.nwapw.abacus.plugin.NumberImplementation
|
import org.nwapw.abacus.plugin.NumberImplementation
|
||||||
|
|
||||||
/**
|
/**
|
||||||
@@ -1,6 +1,7 @@
|
|||||||
package org.nwapw.abacus.number
|
package org.nwapw.abacus.number.range
|
||||||
|
|
||||||
import org.nwapw.abacus.Abacus
|
import org.nwapw.abacus.Abacus
|
||||||
|
import org.nwapw.abacus.number.NumberInterface
|
||||||
|
|
||||||
/**
|
/**
|
||||||
* A closed range designed specifically for [NumberInterface]
|
* A closed range designed specifically for [NumberInterface]
|
||||||
@@ -1,6 +1,7 @@
|
|||||||
package org.nwapw.abacus.number
|
package org.nwapw.abacus.number.range
|
||||||
|
|
||||||
import org.nwapw.abacus.Abacus
|
import org.nwapw.abacus.Abacus
|
||||||
|
import org.nwapw.abacus.number.NumberInterface
|
||||||
|
|
||||||
/**
|
/**
|
||||||
* A utility class for creating [NumberRange] instances.
|
* A utility class for creating [NumberRange] instances.
|
||||||
@@ -1,6 +1,6 @@
|
|||||||
package org.nwapw.abacus.parsing
|
package org.nwapw.abacus.parsing
|
||||||
|
|
||||||
import org.nwapw.abacus.tree.TreeNode
|
import org.nwapw.abacus.tree.nodes.TreeNode
|
||||||
|
|
||||||
/**
|
/**
|
||||||
* Converter from tokens into a parse tree.
|
* Converter from tokens into a parse tree.
|
||||||
|
|||||||
@@ -1,6 +1,6 @@
|
|||||||
package org.nwapw.abacus.parsing
|
package org.nwapw.abacus.parsing
|
||||||
|
|
||||||
import org.nwapw.abacus.tree.TreeNode
|
import org.nwapw.abacus.tree.nodes.TreeNode
|
||||||
|
|
||||||
/**
|
/**
|
||||||
* Class to combine a [Tokenizer] and a [Parser]
|
* Class to combine a [Tokenizer] and a [Parser]
|
||||||
|
|||||||
@@ -1,7 +1,7 @@
|
|||||||
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.NumberOperator
|
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.number.NumberInterface
|
import org.nwapw.abacus.number.NumberInterface
|
||||||
|
|||||||
@@ -1,7 +1,7 @@
|
|||||||
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.NumberOperator
|
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.number.NumberInterface
|
import org.nwapw.abacus.number.NumberInterface
|
||||||
@@ -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())
|
||||||
|
|||||||
@@ -3,10 +3,10 @@ package org.nwapw.abacus.plugin.standard.operator
|
|||||||
import org.nwapw.abacus.context.MutableEvaluationContext
|
import org.nwapw.abacus.context.MutableEvaluationContext
|
||||||
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.TreeValueOperator
|
import org.nwapw.abacus.function.interfaces.TreeValueOperator
|
||||||
import org.nwapw.abacus.number.NumberInterface
|
import org.nwapw.abacus.number.NumberInterface
|
||||||
import org.nwapw.abacus.tree.TreeNode
|
import org.nwapw.abacus.tree.nodes.TreeNode
|
||||||
import org.nwapw.abacus.tree.VariableNode
|
import org.nwapw.abacus.tree.nodes.VariableNode
|
||||||
|
|
||||||
/**
|
/**
|
||||||
* The definition operator.
|
* The definition operator.
|
||||||
|
|||||||
@@ -1,7 +1,7 @@
|
|||||||
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.NumberOperator
|
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.number.NumberInterface
|
import org.nwapw.abacus.number.NumberInterface
|
||||||
|
|||||||
@@ -1,7 +1,7 @@
|
|||||||
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.NumberOperator
|
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.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 {
|
||||||
|
|||||||
@@ -1,7 +1,7 @@
|
|||||||
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.NumberOperator
|
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.number.NumberInterface
|
import org.nwapw.abacus.number.NumberInterface
|
||||||
|
|||||||
@@ -1,7 +1,7 @@
|
|||||||
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.NumberOperator
|
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.number.NumberInterface
|
import org.nwapw.abacus.number.NumberInterface
|
||||||
@@ -16,8 +16,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])
|
||||||
|
|||||||
@@ -1,7 +1,7 @@
|
|||||||
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.NumberOperator
|
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.number.NumberInterface
|
import org.nwapw.abacus.number.NumberInterface
|
||||||
|
|||||||
@@ -1,7 +1,7 @@
|
|||||||
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.NumberOperator
|
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.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
|
||||||
|
|||||||
@@ -3,10 +3,10 @@ package org.nwapw.abacus.plugin.standard.operator
|
|||||||
import org.nwapw.abacus.context.MutableEvaluationContext
|
import org.nwapw.abacus.context.MutableEvaluationContext
|
||||||
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.TreeValueOperator
|
import org.nwapw.abacus.function.interfaces.TreeValueOperator
|
||||||
import org.nwapw.abacus.number.NumberInterface
|
import org.nwapw.abacus.number.NumberInterface
|
||||||
import org.nwapw.abacus.tree.TreeNode
|
import org.nwapw.abacus.tree.nodes.TreeNode
|
||||||
import org.nwapw.abacus.tree.VariableNode
|
import org.nwapw.abacus.tree.nodes.VariableNode
|
||||||
|
|
||||||
/**
|
/**
|
||||||
* The set operator.
|
* The set operator.
|
||||||
|
|||||||
@@ -1,7 +1,7 @@
|
|||||||
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.NumberOperator
|
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.number.NumberInterface
|
import org.nwapw.abacus.number.NumberInterface
|
||||||
|
|||||||
@@ -1,5 +1,7 @@
|
|||||||
package org.nwapw.abacus.tree
|
package org.nwapw.abacus.tree
|
||||||
|
|
||||||
|
import org.nwapw.abacus.tree.nodes.TreeNode
|
||||||
|
|
||||||
/**
|
/**
|
||||||
* Reducer interface that takes a tree and returns a single value.
|
* Reducer interface that takes a tree and returns a single value.
|
||||||
*
|
*
|
||||||
|
|||||||
@@ -1,4 +1,4 @@
|
|||||||
package org.nwapw.abacus.tree
|
package org.nwapw.abacus.tree.nodes
|
||||||
|
|
||||||
/**
|
/**
|
||||||
* A tree node that holds a binary operation.
|
* A tree node that holds a binary operation.
|
||||||
@@ -1,4 +1,4 @@
|
|||||||
package org.nwapw.abacus.tree
|
package org.nwapw.abacus.tree.nodes
|
||||||
|
|
||||||
/**
|
/**
|
||||||
* Represents a more generic function call.
|
* Represents a more generic function call.
|
||||||
@@ -1,4 +1,6 @@
|
|||||||
package org.nwapw.abacus.tree
|
package org.nwapw.abacus.tree.nodes
|
||||||
|
|
||||||
|
import org.nwapw.abacus.tree.Reducer
|
||||||
|
|
||||||
/**
|
/**
|
||||||
* A binary operator node that reduces its children.
|
* A binary operator node that reduces its children.
|
||||||
@@ -1,4 +1,6 @@
|
|||||||
package org.nwapw.abacus.tree
|
package org.nwapw.abacus.tree.nodes
|
||||||
|
|
||||||
|
import org.nwapw.abacus.tree.Reducer
|
||||||
|
|
||||||
/**
|
/**
|
||||||
* A tree node that holds a function call.
|
* A tree node that holds a function call.
|
||||||
@@ -8,7 +10,7 @@ package org.nwapw.abacus.tree
|
|||||||
*
|
*
|
||||||
* @param function the function string.
|
* @param function the function string.
|
||||||
*/
|
*/
|
||||||
class FunctionNode(function: String, children: List<TreeNode>) : CallNode(function, children) {
|
class NumberFunctionNode(function: String, children: List<TreeNode>) : CallNode(function, children) {
|
||||||
|
|
||||||
override fun <T : Any> reduce(reducer: Reducer<T>): T {
|
override fun <T : Any> reduce(reducer: Reducer<T>): T {
|
||||||
val children = Array<Any>(children.size, { children[it].reduce(reducer) })
|
val children = Array<Any>(children.size, { children[it].reduce(reducer) })
|
||||||
@@ -1,4 +1,6 @@
|
|||||||
package org.nwapw.abacus.tree
|
package org.nwapw.abacus.tree.nodes
|
||||||
|
|
||||||
|
import org.nwapw.abacus.tree.Reducer
|
||||||
|
|
||||||
/**
|
/**
|
||||||
* A tree node that holds a single number value.
|
* A tree node that holds a single number value.
|
||||||
@@ -1,4 +1,6 @@
|
|||||||
package org.nwapw.abacus.tree
|
package org.nwapw.abacus.tree.nodes
|
||||||
|
|
||||||
|
import org.nwapw.abacus.tree.Reducer
|
||||||
|
|
||||||
/**
|
/**
|
||||||
* A unary operator node that reduces its children.
|
* A unary operator node that reduces its children.
|
||||||
@@ -1,4 +1,6 @@
|
|||||||
package org.nwapw.abacus.tree
|
package org.nwapw.abacus.tree.nodes
|
||||||
|
|
||||||
|
import org.nwapw.abacus.tree.Reducer
|
||||||
|
|
||||||
/**
|
/**
|
||||||
* A tree node.
|
* A tree node.
|
||||||
@@ -1,4 +1,6 @@
|
|||||||
package org.nwapw.abacus.tree
|
package org.nwapw.abacus.tree.nodes
|
||||||
|
|
||||||
|
import org.nwapw.abacus.tree.Reducer
|
||||||
|
|
||||||
/**
|
/**
|
||||||
* A tree node that represents a binary tree value operator.
|
* A tree node that represents a binary tree value operator.
|
||||||
@@ -1,4 +1,6 @@
|
|||||||
package org.nwapw.abacus.tree
|
package org.nwapw.abacus.tree.nodes
|
||||||
|
|
||||||
|
import org.nwapw.abacus.tree.Reducer
|
||||||
|
|
||||||
/**
|
/**
|
||||||
* A tree node that represents a tree value function call.
|
* A tree node that represents a tree value function call.
|
||||||
@@ -1,4 +1,6 @@
|
|||||||
package org.nwapw.abacus.tree
|
package org.nwapw.abacus.tree.nodes
|
||||||
|
|
||||||
|
import org.nwapw.abacus.tree.Reducer
|
||||||
|
|
||||||
/**
|
/**
|
||||||
* A tree node that represents a unary tree value operator.
|
* A tree node that represents a unary tree value operator.
|
||||||
@@ -1,4 +1,4 @@
|
|||||||
package org.nwapw.abacus.tree
|
package org.nwapw.abacus.tree.nodes
|
||||||
|
|
||||||
/**
|
/**
|
||||||
* A tree node that holds a unary operation.
|
* A tree node that holds a unary operation.
|
||||||
@@ -1,4 +1,6 @@
|
|||||||
package org.nwapw.abacus.tree
|
package org.nwapw.abacus.tree.nodes
|
||||||
|
|
||||||
|
import org.nwapw.abacus.tree.Reducer
|
||||||
|
|
||||||
/**
|
/**
|
||||||
* A tree node that holds a placeholder variable.
|
* A tree node that holds a placeholder variable.
|
||||||
@@ -1,10 +1,12 @@
|
|||||||
package org.nwapw.abacus.tree
|
package org.nwapw.abacus.tree.standard
|
||||||
|
|
||||||
import org.nwapw.abacus.Abacus
|
import org.nwapw.abacus.Abacus
|
||||||
import org.nwapw.abacus.context.EvaluationContext
|
import org.nwapw.abacus.context.EvaluationContext
|
||||||
import org.nwapw.abacus.exception.NumberReducerException
|
import org.nwapw.abacus.exception.NumberReducerException
|
||||||
import org.nwapw.abacus.exception.ReductionException
|
import org.nwapw.abacus.exception.ReductionException
|
||||||
import org.nwapw.abacus.number.NumberInterface
|
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> {
|
class NumberReducer(val abacus: Abacus, context: EvaluationContext) : Reducer<NumberInterface> {
|
||||||
|
|
||||||
@@ -40,7 +42,7 @@ class NumberReducer(val abacus: Abacus, context: EvaluationContext) : Reducer<Nu
|
|||||||
context.numberImplementation = promotionResult.promotedTo
|
context.numberImplementation = promotionResult.promotedTo
|
||||||
abacus.pluginManager.operatorFor(treeNode.operation).apply(context, *promotionResult.items)
|
abacus.pluginManager.operatorFor(treeNode.operation).apply(context, *promotionResult.items)
|
||||||
}
|
}
|
||||||
is FunctionNode -> {
|
is NumberFunctionNode -> {
|
||||||
val promotionResult = promotionManager
|
val promotionResult = promotionManager
|
||||||
.promote(*children.map { it as NumberInterface }.toTypedArray())
|
.promote(*children.map { it as NumberInterface }.toTypedArray())
|
||||||
context.numberImplementation = promotionResult.promotedTo
|
context.numberImplementation = promotionResult.promotedTo
|
||||||
@@ -8,7 +8,7 @@ import org.nwapw.abacus.config.Configuration;
|
|||||||
import org.nwapw.abacus.exception.DomainException;
|
import org.nwapw.abacus.exception.DomainException;
|
||||||
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;
|
||||||
import org.nwapw.abacus.tree.TreeNode;
|
import org.nwapw.abacus.tree.nodes.TreeNode;
|
||||||
|
|
||||||
public class CalculationTests {
|
public class CalculationTests {
|
||||||
|
|
||||||
|
|||||||
@@ -3,7 +3,7 @@ package org.nwapw.abacus.tests;
|
|||||||
import org.junit.Assert;
|
import org.junit.Assert;
|
||||||
import org.junit.Test;
|
import org.junit.Test;
|
||||||
import org.nwapw.abacus.lexing.Lexer;
|
import org.nwapw.abacus.lexing.Lexer;
|
||||||
import org.nwapw.abacus.lexing.pattern.Match;
|
import org.nwapw.abacus.lexing.Match;
|
||||||
|
|
||||||
import java.util.List;
|
import java.util.List;
|
||||||
|
|
||||||
|
|||||||
@@ -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.NaiveNumber;
|
import org.nwapw.abacus.number.promotion.PromotionFunction;
|
||||||
import org.nwapw.abacus.number.NumberInterface;
|
import org.nwapw.abacus.number.standard.NaiveNumber;
|
||||||
import org.nwapw.abacus.number.NumberRange;
|
import org.nwapw.abacus.number.range.NumberRange;
|
||||||
import org.nwapw.abacus.number.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() {
|
||||||
|
|||||||
@@ -7,11 +7,13 @@ 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.*;
|
||||||
import org.nwapw.abacus.lexing.pattern.Match;
|
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.number.NumberInterface;
|
||||||
import org.nwapw.abacus.parsing.LexerTokenizer;
|
import org.nwapw.abacus.parsing.standard.LexerTokenizer;
|
||||||
import org.nwapw.abacus.plugin.Plugin;
|
import org.nwapw.abacus.plugin.Plugin;
|
||||||
import org.nwapw.abacus.tree.TokenType;
|
import org.nwapw.abacus.parsing.standard.TokenType;
|
||||||
|
|
||||||
import java.util.List;
|
import java.util.List;
|
||||||
|
|
||||||
|
|||||||
@@ -16,12 +16,11 @@ 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;
|
||||||
import org.nwapw.abacus.tree.EvaluationResult;
|
import org.nwapw.abacus.EvaluationResult;
|
||||||
import org.nwapw.abacus.tree.TreeNode;
|
import org.nwapw.abacus.tree.nodes.TreeNode;
|
||||||
|
|
||||||
import java.io.File;
|
import java.io.File;
|
||||||
import java.io.IOException;
|
import java.io.IOException;
|
||||||
@@ -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));
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|||||||
@@ -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;
|
||||||
Reference in New Issue
Block a user