public function checkIndex($expression, $idx, $_symTable) { if (count($this->dimensions) <= $idx) { SemanticException::raw('Array has already completely dereferenced'); } return SymSimpleType::equal($expression->symType, $_symTable->findRecursive('integer')); }
public function __construct($scanner, $_symTable) { parent::requireKeyword($scanner, 'for'); $scanner->next(); $this->counter = VariableAccess::parse($scanner, $_symTable); if (!SymSimpleType::equal($this->counter->symType, Globals::getSimpleType('integer'))) { SemanticException::raw($scanner, 'Counter must be integer'); } parent::requireOperator($scanner, ':='); $scanner->next(); $this->from = new Expression($scanner, $_symTable); $this->from = TypeCast::tryTypeCast($this->from, 'integer'); switch ($scanner->get()->getValue()) { case 'to': $this->direction = self::DIRECTION_ASC; break; case 'downto': $this->direction = self::DIRECTION_DESC; break; default: parent::simpleException($scanner, ['<KEYWORD \'to\'>', '<KEYWORD \'downto\'>']); } $scanner->next(); $this->to = new Expression($scanner, $_symTable); $this->to = TypeCast::tryTypeCast($this->to, 'integer'); parent::requireKeyword($scanner, 'do'); $scanner->next(); Globals::$loopDepth++; $this->statements = CompoundStatement::smartParse($scanner, $_symTable); Globals::$loopDepth--; }
public function __construct($operand, $operator, $_symTable) { if (!SymSimpleType::equal($operand->symType, Globals::getSimpleType('integer')) && !SymSimpleType::equal($operand->symType, Globals::getSimpleType('real'))) { SemanticException::invalidTypeCast($operand->symType, Globals::getSimpleType('real')); } $this->symType = $operand->symType; $this->operand = $operand; $this->operator = $operator; }
public function __construct($left, $right, $operator, $_symTable) { switch ($operator->getValue()) { case 'div': case 'mod': $right = TypeCast::tryTypeCast($right, 'integer'); $left = TypeCast::tryTypeCast($left, 'integer'); $this->symType = Globals::getSimpleType('integer'); break; case 'and': case 'or': case 'xor': $right = TypeCast::tryTypeCast($right, 'boolean'); $left = TypeCast::tryTypeCast($left, 'boolean'); $this->symType = Globals::getSimpleType('boolean'); break; case '*': case '+': case '-': if (SymSimpleType::equal($left->symType, Globals::getSimpleType('integer')) && SymSimpleType::equal($right->symType, Globals::getSimpleType('integer'))) { $this->symType = Globals::getSimpleType('integer'); break; } case '/': $left = TypeCast::tryTypeCast($left, 'real'); $right = TypeCast::tryTypeCast($right, 'real'); $this->symType = Globals::getSimpleType('real'); break; case '>': case '<': case '>=': case '<=': case '<>': case '=': if (SymSimpleType::equal($left->symType, Globals::getSimpleType('integer')) && SymSimpleType::equal($right->symType, Globals::getSimpleType('integer'))) { $this->symType = Globals::getSimpleType('boolean'); break; } $left = TypeCast::tryTypeCast($left, 'real'); $right = TypeCast::tryTypeCast($right, 'real'); $this->symType = Globals::getSimpleType('boolean'); break; default: throw new \Exception('OPERATOR NOT IMPLEMENTED YET'); } $this->left = $left; $this->right = $right; $this->operator = $operator; }