kicad/include/libeval_compiler/libeval_compiler.h

498 lines
10 KiB
C
Raw Normal View History

2020-06-04 11:04:03 +00:00
/*
This file is part of libeval, a simple math expression evaluator
Copyright (C) 2007 Michael Geselbracht, mgeselbracht3@gmail.com
Copyright (C) 2019-2020 KiCad Developers, see AUTHORS.txt for contributors.
2020-06-04 11:04:03 +00:00
This program is free software: you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation, either version 3 of the License, or
(at your option) any later version.
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
You should have received a copy of the GNU General Public License
along with this program. If not, see <https://www.gnu.org/licenses/>.
*/
#ifndef __LIBEVAL_COMPILER_H
#define __LIBEVAL_COMPILER_H
#include <cstddef>
#include <functional>
#include <map>
2020-06-04 11:04:03 +00:00
#include <string>
#include <stack>
2020-06-04 11:04:03 +00:00
#include <base_units.h>
#define TR_OP_BINARY_MASK 0x200
#define TR_OP_UNARY_MASK 0x100
#define TR_OP_MUL 0x201
#define TR_OP_DIV 0x202
#define TR_OP_ADD 0x203
#define TR_OP_SUB 0x204
#define TR_OP_LESS 0x25
#define TR_OP_GREATER 0x206
#define TR_OP_LESS_EQUAL 0x207
#define TR_OP_GREATER_EQUAL 0x208
#define TR_OP_EQUAL 0x209
#define TR_OP_NOT_EQUAL 0x20a
#define TR_OP_BOOL_AND 0x20b
#define TR_OP_BOOL_OR 0x20c
#define TR_OP_BOOL_NOT 0x100
#define TR_OP_FUNC_CALL 24
#define TR_OP_METHOD_CALL 25
2020-06-04 11:04:03 +00:00
#define TR_UOP_PUSH_VAR 1
#define TR_UOP_PUSH_VALUE 2
// This namespace is used for the lemon parser
namespace LIBEVAL
{
class COMPILER;
enum COMPILATION_STAGE
{
CST_PARSE = 0,
CST_CODEGEN,
CST_RUNTIME
};
struct ERROR_STATUS
{
bool pendingError = false;
COMPILATION_STAGE stage;
wxString message;
int srcPos;
};
2020-06-04 11:04:03 +00:00
enum VAR_TYPE_T
{
VT_STRING = 1,
VT_NUMERIC,
VT_UNDEFINED,
VT_PARSE_ERROR
2020-06-04 11:04:03 +00:00
};
enum TOKEN_TYPE_T
{
TR_UNDEFINED = 0,
TR_NUMBER = 1,
2020-06-04 11:04:03 +00:00
TR_IDENTIFIER = 2,
TR_ASSIGN = 3,
TR_STRUCT_REF = 4,
TR_STRING = 5,
TR_UNIT = 6
2020-06-04 11:04:03 +00:00
};
class UOP;
class UCODE;
class CONTEXT;
class VAR_REF;
typedef std::function<void( CONTEXT*, void* )> FUNC_CALL_REF;
struct T_TOKEN_VALUE
2020-06-04 11:04:03 +00:00
{
wxString* str;
double num;
int idx;
};
// Lemon can't handle c'tors and d'tors, so we provide a poor-man's version.
constexpr T_TOKEN_VALUE defaultTokenValue = { nullptr, 0.0, 0 };
struct T_TOKEN
{
int token;
T_TOKEN_VALUE value;
};
// Lemon can't handle c'tors and d'tors, so we provide a poor-man's version.
constexpr T_TOKEN defaultToken = { TR_UNDEFINED, defaultTokenValue };
class TREE_NODE
{
public:
T_TOKEN_VALUE value;
2020-07-18 10:40:56 +00:00
int op;
TREE_NODE* leaf[2];
UOP* uop;
bool valid;
bool isTerminal;
bool isVisited;
int srcPos;
void SetUop( int aOp, double aValue );
void SetUop( int aOp, const wxString& aValue );
void SetUop( int aOp, std::unique_ptr<VAR_REF> aRef = nullptr );
void SetUop( int aOp, FUNC_CALL_REF aFunc, std::unique_ptr<VAR_REF> aRef = nullptr );
2020-06-04 11:04:03 +00:00
};
TREE_NODE* newNode( LIBEVAL::COMPILER* compiler, int op,
const T_TOKEN_VALUE& value = defaultTokenValue );
2020-06-04 11:04:03 +00:00
class UNIT_RESOLVER
{
public:
UNIT_RESOLVER()
{
}
2020-06-04 11:04:03 +00:00
virtual ~UNIT_RESOLVER()
{
}
2020-06-04 11:04:03 +00:00
virtual const std::vector<wxString>& GetSupportedUnits() const
{
static const std::vector<wxString> nullUnits;
2020-06-04 11:04:03 +00:00
return nullUnits;
}
2020-06-04 11:04:03 +00:00
virtual double Convert( const wxString& aString, int unitType ) const
{
return 0.0;
};
2020-06-04 11:04:03 +00:00
};
class VALUE
{
2020-06-04 11:04:03 +00:00
public:
VALUE():
m_type(VT_UNDEFINED),
m_valueDbl( 0 )
{};
2020-06-04 11:04:03 +00:00
VALUE( const wxString& aStr ) :
2020-06-04 11:04:03 +00:00
m_type( VT_STRING ),
m_valueDbl( 0 ),
m_valueStr( aStr )
{};
2020-06-04 11:04:03 +00:00
VALUE( const double aVal ) :
m_type( VT_NUMERIC ),
m_valueDbl( aVal )
{};
2020-06-04 11:04:03 +00:00
double AsDouble() const
{
return m_valueDbl;
}
2020-06-04 11:04:03 +00:00
const wxString& AsString() const
{
return m_valueStr;
}
bool operator==( const VALUE& b ) const
{
if( m_type == VT_NUMERIC && b.m_type == VT_NUMERIC )
return m_valueDbl == b.m_valueDbl;
else if( m_type == VT_STRING && b.m_type == VT_STRING )
return m_valueStr == b.m_valueStr;
return false;
}
VAR_TYPE_T GetType() const { return m_type; };
void Set( double aValue )
{
m_type = VT_NUMERIC;
m_valueDbl = aValue;
}
void Set( const wxString& aValue )
{
m_type = VT_STRING;
m_valueStr = aValue;
}
void Set( const VALUE &val )
{
m_type = val.m_type;
m_valueDbl = val.m_valueDbl;
if( m_type == VT_STRING )
m_valueStr = val.m_valueStr;
}
bool EqualTo( const VALUE* v2 ) const
{
return operator==( *v2 );
}
2020-06-04 11:04:03 +00:00
private:
VAR_TYPE_T m_type;
double m_valueDbl;
wxString m_valueStr;
};
class VAR_REF
{
public:
VAR_REF() {};
virtual ~VAR_REF() {};
virtual VAR_TYPE_T GetType() = 0;
virtual VALUE GetValue( CONTEXT* aCtx ) = 0;
};
class CONTEXT
2020-06-04 11:04:03 +00:00
{
public:
2020-08-12 15:26:10 +00:00
virtual ~CONTEXT()
2020-06-04 11:04:03 +00:00
{
for( VALUE* value : m_ownedValues )
delete value;
}
VALUE* AllocValue()
{
VALUE* value = new VALUE();
m_ownedValues.push_back( value );
return value;
}
void Push( VALUE* v )
{
m_stack.push( v );
}
VALUE* Pop()
{
VALUE* value = m_stack.top();
m_stack.pop();
return value;
}
2020-06-04 11:04:03 +00:00
int SP() const
{
return m_stack.size();
};
void SetErrorCallback( std::function<void(const ERROR_STATUS&)> aCallback );
void ReportError( const wxString& aErrorMsg );
bool IsErrorPending() const { return m_errorStatus.pendingError; }
const ERROR_STATUS& GetError() const { return m_errorStatus; }
private:
std::vector<VALUE*> m_ownedValues;
std::stack<VALUE*> m_stack;
ERROR_STATUS m_errorStatus;
std::function<void(const ERROR_STATUS&)> m_errorCallback;
};
class UCODE
{
public:
2020-07-29 21:11:30 +00:00
virtual ~UCODE();
void AddOp( UOP* uop )
2020-06-04 11:04:03 +00:00
{
m_ucode.push_back(uop);
2020-06-04 11:04:03 +00:00
}
VALUE* Run( CONTEXT* ctx );
wxString Dump() const;
2020-06-04 11:04:03 +00:00
virtual std::unique_ptr<VAR_REF> CreateVarRef( const wxString& var, const wxString& field )
2020-06-04 11:04:03 +00:00
{
return nullptr;
2020-06-04 11:04:03 +00:00
};
virtual FUNC_CALL_REF CreateFuncCall( const wxString& name )
{
return nullptr;
};
protected:
2020-06-04 11:04:03 +00:00
std::vector<UOP*> m_ucode;
};
class UOP
{
public:
UOP( int op, std::unique_ptr<VALUE> value ) :
m_op( op ),
m_ref(nullptr),
m_value( std::move( value ) )
{};
UOP( int op, std::unique_ptr<VAR_REF> vref ) :
m_op( op ),
m_ref( std::move( vref ) ),
m_value(nullptr)
{};
UOP( int op, FUNC_CALL_REF func, std::unique_ptr<VAR_REF> vref = nullptr ) :
m_op( op ),
m_func( std::move( func ) ),
m_ref( std::move( vref ) ),
m_value(nullptr)
{};
~UOP()
{
}
void Exec( CONTEXT* ctx );
wxString Format() const;
private:
int m_op;
FUNC_CALL_REF m_func;
std::unique_ptr<VAR_REF> m_ref;
std::unique_ptr<VALUE> m_value;
};
2020-06-04 11:04:03 +00:00
class TOKENIZER
{
public:
void Restart( const wxString& aStr )
2020-06-04 11:04:03 +00:00
{
m_str = aStr;
m_pos = 0;
}
void Clear()
{
m_str = "";
m_pos = 0;
}
int GetChar() const
{
if( m_pos >= m_str.length() )
return 0;
2020-06-04 11:04:03 +00:00
return m_str[m_pos];
}
bool Done() const
{
return m_pos >= m_str.length();
}
void NextChar( int aAdvance = 1 )
{
m_pos += aAdvance;
}
size_t GetPos() const
{
return m_pos;
}
wxString GetChars( const std::function<bool( wxUniChar )>& cond ) const;
bool MatchAhead( const wxString& match,
const std::function<bool( wxUniChar )>& stopCond ) const;
2020-06-04 11:04:03 +00:00
private:
wxString m_str;
size_t m_pos = 0;
2020-06-04 11:04:03 +00:00
};
class COMPILER
{
public:
COMPILER();
2020-06-04 11:04:03 +00:00
virtual ~COMPILER();
/*
* clear() should be invoked by the client if a new input string is to be processed. It
2020-06-04 11:04:03 +00:00
* will reset the parser. User defined variables are retained.
*/
void Clear();
/* Used by the lemon parser */
void parseError( const char* s );
void parseOk();
int GetSourcePos() const { return m_sourcePos; }
void setRoot( LIBEVAL::TREE_NODE *root );
void freeTree( LIBEVAL::TREE_NODE *tree );
bool Compile( const wxString& aString, UCODE* aCode, CONTEXT* aPreflightContext );
void SetErrorCallback( std::function<void( const wxString& aMessage, int aOffset )> aCallback )
{
m_errorCallback = std::move( aCallback );
}
bool IsErrorPending() const { return m_errorStatus.pendingError; }
const ERROR_STATUS& GetError() const { return m_errorStatus; }
2020-06-04 11:04:03 +00:00
void GcItem( TREE_NODE* aItem ) { m_gcItems.push_back( aItem ); }
void GcItem( wxString* aItem ) { m_gcStrings.push_back( aItem ); }
2020-06-04 11:04:03 +00:00
protected:
enum LEXER_STATE
{
LS_DEFAULT = 0,
LS_STRING = 1,
};
LEXER_STATE m_lexerState;
bool generateUCode( UCODE* aCode, CONTEXT* aPreflightContext );
2020-06-04 11:04:03 +00:00
void reportError( COMPILATION_STAGE stage, const wxString& aErrorMsg, int aPos = -1 );
2020-06-04 11:04:03 +00:00
/* Begin processing of a new input string */
void newString( const wxString& aString );
2020-06-04 11:04:03 +00:00
/* Tokenizer: Next token/value taken from input string. */
T_TOKEN getToken();
bool lexDefault( T_TOKEN& aToken );
bool lexString( T_TOKEN& aToken );
2020-06-04 11:04:03 +00:00
int resolveUnits();
protected:
2020-06-04 11:04:03 +00:00
/* Token state for input string. */
void* m_parser; // the current lemon parser state machine
TOKENIZER m_tokenizer;
char m_localeDecimalSeparator;
2020-06-04 11:04:03 +00:00
std::unique_ptr<UNIT_RESOLVER> m_unitResolver;
int m_sourcePos;
bool m_parseFinished;
ERROR_STATUS m_errorStatus;
std::function<void( const wxString& aMessage, int aOffset )> m_errorCallback;
2020-06-04 11:04:03 +00:00
TREE_NODE* m_tree;
std::vector<TREE_NODE*> m_gcItems;
std::vector<wxString*> m_gcStrings;
2020-06-04 11:04:03 +00:00
};
} // namespace LIBEVAL
#endif /* LIBEVAL_COMPILER_H_ */