chriskonnertz / string-calc
StringCalc is a PHP calculator library for mathematical terms (expressions) passed as strings.
Installs: 485 053
Dependents: 5
Suggesters: 0
Security: 0
Stars: 99
Watchers: 8
Forks: 19
Open Issues: 6
Requires
- php: >=8.0.0
- ext-mbstring: *
Requires (Dev)
- phpunit/phpunit: 9.*
README
StringCalc is a zero-dependency PHP calculator library for mathematical terms (expressions) passed as strings.
Installation
Through Composer:
composer require chriskonnertz/string-calc
This library requires PHP 8.0 or higher. For PHP 5.6 support, use StringCalc 1.
Usage example
Here is a minimalistic example of PHP code that calculates a term. It assumes that there is an autoloader.
$stringCalc = new ChrisKonnertz\StringCalc\StringCalc(); $term = '1+2'; $result = $stringCalc->calculate($term); // $result will contain 3
There is an interactive PHP demo script included. It is located at
dev/demo.php
.
Motivation
Imagine you are building a web application that allows users to enter mathematical terms in a text field. How would you calculate the results of such terms? PHP's eval function is not the answer. The official documentation recommends not to use this function: The eval() language construct is very dangerous because it allows execution of arbitrary PHP code. Its use thus is discouraged. StringCalc has its own parser implementation and therefore is a better and save alternative. StringCalc follows modern coding principles, is extensible and well documented. If you have any suggestions how to improve this library, feel free to discuss them in the issue section.
The term
Example, we need an example! Here we go: 2*(pi-abs(-0.4))
This is a mathematical term following syntactical and grammatical rules that StringCalc understands. Syntax and grammar of these terms are very similar to what you would write in PHP code. To be more precise, there is an intersecting set of syntactical and grammatical rules. There are some exceptions, but usually you will be able to write terms for StringCalc by pretending that you are writing PHP code.
Term examples
Here are some unspectacular examples:
1+2*3-4
1 + 2 * 3 - 4
pi * 2
PI * 2
abs(1) + min(1,2) * max(1,2,3)
min(1+2, abs(-1))
1 + ((2 - 3) * (5 - 7))
2 * (-3)
Here is a list that shows examples with more exotic syntax:
1 // A term can consist of just a number
(1+((2))) // Usage of obsolete brackets is allowed
00001 // Prefixing a number with obsolete zero digits is possible
.1 // Ommiting a zero digit before a period charcter is okay
To see a list of all available types of mathematical symbols (parts of a term) follow this link: Symbols/Concrete classes
List of symbols
Operators:
+
-
*
/
Functions:
abs
aCos
aCosH
aSin
aSinH
aTan
aTanH
aTanTwo
ceil
cos
cosH
degToRad
en
exp
expMOne
floor
fMod
intVal
hypot
log
logOneP
logTen
max
min
pow
radToDeg
round
sin
sinH
sqrt
tan
tanH
Constants:
e
euler
lnPi
lnTen
lnTwo
logTenE
logTwoE
onePi
pi
piFour
piTwo
sqrtOneTwo
sqrtPi
sqrtThree
sqrtTwo
twoPi
twoSqrtPi
Others:
(
)
,
.
The StringCalc class
The StringCalc
is the is the API frontend of the StringCalc library.
This section describes the public methods of this class.
Constructor
The constructor has one optional parameter named $container
that implements the Container\ContainerInterface
.
This is the service container used by StringCalc.
If no argument is passed, the constructor will create a new container object with the type Container\Container
on its own.
The container interface ensures that the container implements the
PSR-11 standard. Therefore, you can
replace the default container with every other container that implements the PSR-11 standard, but you have to wrap it
in a wrapper class that makes it compatible to the Container\Container
class. We recommend avoiding the extra afford
and to extend the Container\Container
class instead.
calculate
The calculate()
method is the most important method of this class.
It expects one parameter with the type string called $term
.
It returns a number with the type float or int. We strongly recommend wrapping any calls of this method in a try-catch
block
and to write a catch
statement that catches all exceptions with the type Exceptions\StringCalcException
.
try { $result = $stringCalc->calculate('min()'); } catch (Exceptions\StringCalcException $exception) { ... // Handle exception } catch (\Exception $exception) { ... // Handle exception. }
In the example an exception with class StringCalcException
will be thrown,
because the min
method has to be called with one parameter at least. Exceptions with the type StringCalcException
are usually thrown when grammar or syntax of a given term are invalid. They have two additional properties: position
is an integer telling you where the problem occurred in the term, and subject
is a string that might contain
additional data, especially raw user input that you should never print to a website without encoding it via htmlentities()
!
tokenize
The tokenize($term)
method tokenizes the passed term. It returns an array with the tokens.
Tokens are the parts of a term or to be more precise the mathematical symbols of a term. A token is an object
that has the Tokenizer\Token
class as its parent. It implements the __toString()
method,
so you can do something like this:
$term = '1+(2+max(-3,3))'; $tokens = $stringCalc->tokenize($term); foreach ($tokens as $token) { echo ' '.$token.' '; }
This will print the tokens of the term aka a string representation the whole term. A token consists of three properties:
The value, the type and the position. The value is returned by the __toString()
method. The type is a constant
that represents one of these types: characters, words or numbers.
The position is the index of the value string in the term string. Tokens do not have a semantic meaning.
parse
The parse(array $tokens)
method parses an array of tokens. It returns an array of nodes. Internally it uses the
parser aka Parser\Parser
to parse the tokens. It transforms the tokens to nodes of the syntax tree. These nodes have
a semantic meaning, for example they are numbers or operators
(take a look at the Types of symbols section for a full list of symbol types).
Also they have a hierarchy, also known as the "tree" in the "syntax tree".
Brackets in a term create a node in the syntax tree.
Usage example:
$term = '1+(2+max(-3,3))'; $tokens = $stringCalc->tokenize($term); $rootNode = $stringCalc->parse($tokens); $rootNode->traverse(function($node, $level) { echo str_repeat('__', $level).' ['.get_class($node).']<br>'; });
This example code will visualize the syntax tree. It uses the traverse(Closure $callback)
method to go through all
nodes of the tree. The level of the node is visualized by indentation and the name of the class of the node
object is printed to display the type of the node. A node implements the abstract Parser\Nodes\AbstractNode
class.
There are three types of nodes: Container nodes (representing what is inside brackets), function nodes (representing
a mathematical function and its arguments) and symbol nodes that represent mathematical symbols of certain types
(numbers, operators, ...). These classes live in the Parser\Nodes
namespace.
addSymbol
Call the addSymbol()
method if you want to add custom symbols to the list of symbols. It has two parameters.
The first one named $symbol
is the symbol object.
Therefore the object has to extend the abstract class Symbol\AbstractSymbol
.
The second parameter named $replaceSymbol
is optional and allows you to replace a symbol in the symbol list.
If you want to use this parameter you have to pass the full name of the class that you want to replace.
Example:
class ExampleClassOne extends AbstractConstant { protected $identifiers = ['exampleConst']; protected $value = 123; } // The AbstractSymbol class has this dependency: $stringHelper = $container->get('stringcalc_stringhelper'); $symbol = new ExampleClassOne($stringHelper); $replaceSymbol = ExampleClassTwo::class; $stringCalc->addSymbol($symbol, $replaceSymbol);
The addSymbol()
method is just a shortcut, you can call this method on the symbol container object as well.
This object also has a remove
method that removes a symbol from the container.
If you want to add a new symbol, it cannot directly extend from the Symbol\AbstractSymbol
class but has to extend one
of the abstract symbol type classes that extend the Symbol\AbstractSymbol
class. The reason for this constraint is
that these classes have a semantic meaning that is not implemented in the classes themselves but in other classes
such as the tokenizer and the parser. Take a look at the Types of symbols section to familiarize
with the symbol type classes.
getSymbolContainer
The getSymbolContainer()
method is a getter method that returns the symbol container.
The symbol container implements the Symbols\SymbolContainerInterface
and contains instances of all registered
symbols. It has several methods such as add()
, remove()
, size()
and getAll()
.
getContainer
The getContainer()
method is a getter method that returns the service container.
Take a look at the notes about the constructor for more details. There is no setter method for the container,
you can only set it via the constructor.
Types of symbols
A term consists of symbols that have a specific type. This section lists all available symbol types.
Numbers
Numbers in a term always consist of digits and may include exactly one period. Good usage examples:
0
00
123
4.56
.7
Bad usage examples:
0.1.2 // Two periods
2.2e3 // "e" will work in PHP code but not in a term
7E-10 // "E" will work in PHP code but not in a term
0xf4c3b00c // Hexadecimal notation is not allowed
0b10100111001 // Binary notation is not allowed
-1 // This is not a number but the "-" operator plus the number "1"
Just for your information: From the tokenizer's point of view, numbers in a term are always positive.
This means that the tokenizer will split the term -1
in two parts: -
and 1
.
💡 Notice: The fractional part of a PHP float can only have a limited length. If a number in a term has a longer fractional part, the fractional part will be cut somewhere.
Number implementation
There is only one concrete number class: Symbols\Concrete\Number
.
It extends the abstract class Symbols\AbstractNumber
. It does not implement any behaviour.
It is basically a placeholder for concrete numbers in the term.
Brackets
There are two types of brackets in a term: Opening and closing brackets. There is no other typification. For example
there can be classes that implement support for parentheses ()
and square brackets []
but they will be treated equally. Therefore, this is a valid term even though it might not be valid
from a mathematical point of view: [1+)
For every opening bracket there must be a closing bracket and vice versa. Good usage examples:
(1+1)
(1)
((1+2)*(3+4))
Bad usage examples:
() // Empty brackets
(1+1 // Missing closing bracket
1+1) // Missing opening bracket
)1+1( // Missing opening bracket for the closing bracket, missing closing bracket for the open bracket
Bracket implementation
The Symbols\AbstractBracket
class is the base class for all brackets. It is extended by the abstract classes
Symbols\AbstractOpeningBracket
and Symbols\AbstractClosingBracket
. These are extended by concrete classes:
Symbols\Concrete\OpeningBracket
and Symbols\Concrete\ClosingBracket
. These classes do not implement behaviour.
Constants
Constants in a term typically represent mathematical constants, for example pi.
Usage examples:
pi
PI
1+pi*2
Constant implementation
The Symbols\AbstractConstant
class is the base class for all constants.
There are several concrete constants that extend this class.
Constants classes have a property called value
that stores the value of the constant. It is possible to overwrite this
value in a concrete constant class or to overwrite the getter method getValue()
.
Operators
Operators in a term can be unary or binary or even both. However, if they are unary, they have to follow
the prefix notation (example: -1
).
Unary operator example: -1
Binary operator example: 2-1
Operator implementation
The Symbols\AbstractOperator
class is the base class for all operators.
There are several concrete operators that extend this class.
Please be aware that operators are closely related to functions. Functions are at least as powerful as operators are. If an operator does not seem suitable for a purpose, a function might be an appropriate alternative.
Operator classes implement the operate($leftNumber, $rightNumber)
method. Its parameters represent the operands.
It might be confusing that even if the operator is a unary operator its operate
method needs to offer
both parameters. The $rightNumber
argument will be the operand of the unary operation while the left will
be 0.
Functions
Functions in a term represent mathematical functions. Typically, the textual representation of a function consists of
two or more letters, for example: min
Good usage examples of using functions:
abs(-1)
ABS(-1)
abs(1+abs(2))
min(1,2)
min(1,2,3)
Bad usage examples:
abs-1 // Missing brackets
min(1,) // Missing argument
Function implementation
The Symbols\AbstractFunction
class is the base class for all functions.
There are several concrete functions that extend this class.
Please be aware that operators are closely related to functions. Functions are at least as powerful as operators are. If an operator does not seem suitable for a purpose, a function should be an appropriate alternative.
Function classes implement the execute(array $arguments)
method. The arguments are passed as an array to this method.
The size of the arguments array can be 0-n. The implementation of this method is responsible to validate the number of
arguments. If the number of arguments is improper, throw an Exceptions\NumberOfArgumentsException
. Example:
if (sizeof($arguments) < 1) { throw new NumberOfArgumentsException('Error: Expected at least one argument, none given.'); }
The items of the $arguments
array will always have the type int or float. They will never be null.
Separators
A separator is used to separate the arguments of a (mathematical) function.
Out-of-the-box there is one separator symbol with one identifier: ,
Good usage examples:
max(1,2)
max(1,2,3)
Bad usage examples:
3+1,2 // Usage out of scope / missusage as decimal mark
max(1,,3) // Missing calculable expression between separators
Separator implementation
The Symbols\AbstractSeparator
class is the base class for all separators.
There is only one concrete class that extends this class: Symbols\Concrete\Separator
Grammar
This section deals with the grammar for terms that StringCalc can process.
Grammar vs Implementation
It is important to notice that the implementations of the
parser (Parser\Parser
class) and the calculator (Calculator\Calculator
class)
do not mimic the production rules defined below exactly.
So don't be irritated if you compare the actual implementation with the
grammar rules.
Grammar Definition
S := expression
expression := number | constant | function
expression := openingBracket expression closingBracket
expression := [unaryOperator] simpleExpression (operator [unaryOperator] simpleExpression)*
simpleExpression := number | constant | function
simpleExpression := openingBracket expression closingBracket
simpleExpression := simpleExpression (operator [unaryOperator] simpleExpression)*
function := functionBody openingBracket closingBracket
function := functionBody openingBracket expression (argumentSeparator expression)* closingBracket
Remember that numbers are always positive! The term "-1" consists of a unary operator followed by a number.
Tests
Run composer install
from the StringCalc directory, then run the tests:
./vendor/phpunit/phpunit/phpunit
General notes
-
Internally this library uses PHP's mathematical constants, operators and functions to calculate the term. Therefore - as a rule of thumb - please transfer your knowledge about mathematics in PHP to the mathematics in StringCalc. This is also true about PHP's problems with floating point precision. For example
(0.1 + 0.7) * 10
is not 8 nor 8.0 but 7.9999999999999991118… in PHP in general and in StringCalc as well. -
This library does not offer support for any other numeral system than the decimal numeral system. It is not intended to provide such support. Therefore, if you need support of other numeral systems (such as the binary numeral system) this might not be the library of your choice.
-
Namespaces in this documentation are relative. For example the namespace
Exceptions\StringCalcException
refers to\ChrisKonnertz\StringCalc\Exceptions\StringCalcException
. -
Releases of this library are 100% free of known bugs. There are some TODO notes in the code but these refer to possible improvements, not to bugs.
-
General advice: The code of this library is well documented. Therefore, do not hesitate to take a closer look at the implementation.
-
The code of this library is formatted according to the code style defined by the PSR-2 standard.
-
Status of this repository: Maintained. Create an issue, and you will get a response.