mya.h File Reference

#include "module.h"
#include "token.h"
#include "types/mir.h"

Include dependency graph for mya.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Functions
error_code_t	mya_lexer (module_t *module)
	Make the lexical analysis on the given module.
error_code_t	mya_parser (module_t *module)
	Make the syntactical analysis on the given module and construct the AST.
error_code_t	mya_evaluator (mir_t *mir, module_t *module)
	Make the semantic analysis on the given module and evaluates the statements, constructing the in-memory intermediate representation.

Function Documentation

mya_evaluator()

error_code_t mya_evaluator	(	mir_t *	mir,
		module_t *	module )

Make the semantic analysis on the given module and evaluates the statements, constructing the in-memory intermediate representation.

Parameters

mir	Where the intermediate representation will be added.
module	The module to be evaluated.

Returns

ERR_INVALID_CODE on evaluator found some errors on module.

ERR_OK on finished successful.

Definition at line 6 of file evaluator.c.

{
  ast_node_t* current;
 
  for (int i = 0; i < module->ast.children_count; i++) {
    current = &module->ast.children[i];
 
    switch (current->token->value) {
    case KEY_INCLUDE:
      eval_include(mir, module, current);
      break;
    case KEY_SET:
      eval_set(mir, module, current);
      break;
    case KEY_BITFIELD:
      eval_bitfield(mir, module, current);
      break;
    case KEY_REGISTER:
      eval_register(mir, module, current);
      break;
    case KEY_INST:
      break;
    default:
      module_add_error(
        module,
        current->token->line,
        current->token->column,
        current->token->lexeme.length,
        "It's an invalid statement keyword. Are you sure it's a valid command or declaration?"
      );
 
      return ERR_INVALID_CODE;
    }
  }
  return ERR_OK;
}

mya_lexer()

error_code_t mya_lexer

(

module_t *

module

)

Make the lexical analysis on the given module.

It will construct the module->tokens list and maybe registry some errors on module->errors list.

Parameters

module

The module for make the lexical analysis.

Returns

ERR_INVALID_CODE on lexer found some errors on module.

ERR_OK on finished successful.

Definition at line 53 of file lexer.c.

{
  char message[128];
  int ch;
  unsigned int line = 1;
  unsigned int column = 1;
  token_t* token;
 
  for (; module_lookup(module, &ch, 0) == ERR_OK; column++) {
    if (isblank(ch)) {
      module_getc(module, &ch);
      continue;
    }
 
    switch (ch) {
    case '#':
      _mod_rm_line(module);
      line++;
      column = 0;
      continue;
    case '\n':
      line++;
      column = 0;
      break;
    case '{':
      MOD_ADD("{", TK_OPEN_BRACES);
      break;
    case '}':
      MOD_ADD("}", TK_CLOSE_BRACES);
      break;
    case '(':
      MOD_ADD("(", TK_OPEN_PARENS);
      break;
    case ')':
      MOD_ADD(")", TK_CLOSE_PARENS);
      break;
    case '[':
      MOD_ADD("[", TK_OPEN_BRACKET);
      break;
    case ']':
      MOD_ADD("]", TK_CLOSE_BRACKET);
      break;
    case ';':
      MOD_ADD(";", TK_SEMICOLON);
      break;
    case ':':
      MOD_ADD(":", TK_COLON);
      break;
    case ',':
      MOD_ADD(",", TK_COMMA);
      break;
    case '=':
      MOD_ADD("=", TK_EQUAL);
      break;
    case '"':
      column += _mod_read_string(module, line, column) - 1;
      continue;
    default:
      if (isdigit(ch)) {
        column += _mod_read_number(module, line, column) - 1;
        continue;
      }
 
      if (ispunct(ch)) {
        column += _mod_read_operator(module, line, column) - 1;
        continue;
      }
 
      if (isalnum(ch)) {
        column += _mod_read_identifier(module, line, column) - 1;
        continue;
      }
 
      sprintf(message, "Character '%c' is unexpected here!\n", ch);
 
      module_add_error(module, line, column, 1, message);
      break;
    }
 
    module_getc(module, &ch);
  }
 
  MOD_ADD(":EOF:", TK_EOF);
 
  return (module->errors_count == 0) ? ERR_OK : ERR_INVALID_CODE;
}

mya_parser()

error_code_t mya_parser

(

module_t *

module

)

Make the syntactical analysis on the given module and construct the AST.

Parameters

module

The module for make the syntactical analysis.

Returns

ERR_INVALID_CODE on parser found some errors on module.

ERR_OK on finished successful.

Definition at line 12 of file parser.c.

{
  token_t* token;
 
  for (unsigned int tk_index = 0; tk_index < module->tokens_count;) {
    token = &module->tokens[tk_index];
 
    switch (token->type) {
    case TK_KEYWORD:
      DPRINTF2(
        "Parsing statement: %s at %s:%d:%d.\n",
        token->lexeme.data,
        module->filepath,
        token->line,
        token->column
      );
 
      tk_index += parse_statement(module, &module->ast, token);
      tk_index += parse_advance(&module->tokens[tk_index], ARR_TT(TK_KEYWORD));
      break;
    case TK_EOF:
      goto finish;
    default:
      module_add_error(
        module,
        token->line,
        token->column,
        token->lexeme.length,
        "Unexpected token here. It's expected to be a valid statement keyword."
      );
 
      tk_index++;
      break;
    }
  }
 
finish:
  return (module->errors_count == 0) ? ERR_OK : ERR_INVALID_CODE;
}