Google Git
Sign in
eclipse/efm/org.eclipse.efm-symbex/refs/heads/master/./org.eclipse.efm.symbex/src/fml/expression
tree: 244347fecfd08ba5bcee4b8483ecdf7244a5e5f8
  1. AvmCode.cpp
  2. AvmCode.h
  3. AvmCodeFactory.cpp
  4. AvmCodeFactory.h
  5. BuiltinArray.cpp
  6. BuiltinArray.h
  7. BuiltinContainer.cpp
  8. BuiltinContainer.h
  9. BuiltinQueue.cpp
  10. BuiltinQueue.h
  11. ExpressionComparer.cpp
  12. ExpressionComparer.h
  13. ExpressionConstant.cpp
  14. ExpressionConstant.h
  15. ExpressionConstructor.cpp
  16. ExpressionConstructor.h
  17. ExpressionConstructorImpl.cpp
  18. ExpressionConstructorImpl.h
  19. ExpressionEval.cpp
  20. ExpressionEval.h
  21. ExpressionFactory.cpp
  22. ExpressionFactory.h
  23. ExpressionSimplifier.cpp
  24. ExpressionSimplifier.h
  25. ExpressionTypeChecker.cpp
  26. ExpressionTypeChecker.h
  27. README.md
  28. StatementConstructor.cpp
  29. StatementConstructor.h
  30. StatementFactory.cpp
  31. StatementFactory.h
  32. StatementTypeChecker.cpp
  33. StatementTypeChecker.h
org.eclipse.efm.symbex/src/fml/expression/README.md

EFM-SYMBEX : Expression

Source code structure

Interfaces

  • IExpression

Classes

  • ExpressionImpl

Factories

  • Expression as Smart Pointer