コード例 #1
0
ファイル: SymArrayType.php プロジェクト: kaduev13/Compiler
 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'));
 }
コード例 #2
0
ファイル: ForStatement.php プロジェクト: kaduev13/Compiler
 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--;
 }
コード例 #3
0
ファイル: UnOp.php プロジェクト: kaduev13/Compiler
 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;
 }
コード例 #4
0
ファイル: BinOp.php プロジェクト: kaduev13/Compiler
 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;
 }