Moving global CompileParams, TypeCompatible and TypesCompatibles from CBot.cpp to CBotInstrUtils.cpp.
parent
51f0675e41
commit
7b200a0922
|
@ -83,145 +83,6 @@
|
||||||
// Global include
|
// Global include
|
||||||
#include <cassert>
|
#include <cassert>
|
||||||
|
|
||||||
//////////////////////////////////////////////////////////////////////////////////////////
|
|
||||||
|
|
||||||
// compile a list of parameters
|
|
||||||
|
|
||||||
CBotInstr* CompileParams(CBotToken* &p, CBotCStack* pStack, CBotVar** ppVars)
|
|
||||||
{
|
|
||||||
bool first = true;
|
|
||||||
CBotInstr* ret = nullptr; // to return to the list
|
|
||||||
|
|
||||||
CBotCStack* pile = pStack;
|
|
||||||
int i = 0;
|
|
||||||
|
|
||||||
if (IsOfType(p, ID_OPENPAR))
|
|
||||||
{
|
|
||||||
int start, end;
|
|
||||||
if (!IsOfType(p, ID_CLOSEPAR)) while (true)
|
|
||||||
{
|
|
||||||
start = p->GetStart();
|
|
||||||
pile = pile->TokenStack(); // keeps the result on the stack
|
|
||||||
|
|
||||||
if (first) pStack->SetStartError(start);
|
|
||||||
first = false;
|
|
||||||
|
|
||||||
CBotInstr* param = CBotExpression::Compile(p, pile);
|
|
||||||
end = p->GetStart();
|
|
||||||
|
|
||||||
if (!pile->IsOk())
|
|
||||||
{
|
|
||||||
return pStack->Return(nullptr, pile);
|
|
||||||
}
|
|
||||||
|
|
||||||
if (ret == nullptr) ret = param;
|
|
||||||
else ret->AddNext(param); // construct the list
|
|
||||||
|
|
||||||
if (param != nullptr)
|
|
||||||
{
|
|
||||||
if (pile->GetTypResult().Eq(99))
|
|
||||||
{
|
|
||||||
delete pStack->TokenStack();
|
|
||||||
pStack->SetError(TX_VOID, p->GetStart());
|
|
||||||
return nullptr;
|
|
||||||
}
|
|
||||||
ppVars[i] = pile->GetVar();
|
|
||||||
ppVars[i]->GetToken()->SetPos(start, end);
|
|
||||||
i++;
|
|
||||||
|
|
||||||
if (IsOfType(p, ID_COMMA)) continue; // skips the comma
|
|
||||||
if (IsOfType(p, ID_CLOSEPAR)) break;
|
|
||||||
}
|
|
||||||
|
|
||||||
pStack->SetError(TX_CLOSEPAR, p->GetStart());
|
|
||||||
delete pStack->TokenStack();
|
|
||||||
return nullptr;
|
|
||||||
}
|
|
||||||
}
|
|
||||||
ppVars[i] = nullptr;
|
|
||||||
return ret;
|
|
||||||
}
|
|
||||||
|
|
||||||
/////////////////////////////////////////////////////////////
|
|
||||||
// check if two results are consistent to make an operation
|
|
||||||
|
|
||||||
bool TypeCompatible(CBotTypResult& type1, CBotTypResult& type2, int op)
|
|
||||||
{
|
|
||||||
int t1 = type1.GetType();
|
|
||||||
int t2 = type2.GetType();
|
|
||||||
|
|
||||||
int max = (t1 > t2) ? t1 : t2;
|
|
||||||
|
|
||||||
if (max == 99) return false; // result is void?
|
|
||||||
|
|
||||||
// special case for strin concatenation
|
|
||||||
if (op == ID_ADD && max >= CBotTypString) return true;
|
|
||||||
if (op == ID_ASSADD && max >= CBotTypString) return true;
|
|
||||||
if (op == ID_ASS && t1 == CBotTypString) return true;
|
|
||||||
|
|
||||||
if (max >= CBotTypBoolean)
|
|
||||||
{
|
|
||||||
if ( (op == ID_EQ || op == ID_NE) &&
|
|
||||||
(t1 == CBotTypPointer && t2 == CBotTypNullPointer)) return true;
|
|
||||||
if ( (op == ID_EQ || op == ID_NE || op == ID_ASS) &&
|
|
||||||
(t2 == CBotTypPointer && t1 == CBotTypNullPointer)) return true;
|
|
||||||
if ( (op == ID_EQ || op == ID_NE) &&
|
|
||||||
(t1 == CBotTypArrayPointer && t2 == CBotTypNullPointer)) return true;
|
|
||||||
if ( (op == ID_EQ || op == ID_NE || op == ID_ASS) &&
|
|
||||||
(t2 == CBotTypArrayPointer && t1 == CBotTypNullPointer)) return true;
|
|
||||||
if (t2 != t1) return false;
|
|
||||||
if (t1 == CBotTypArrayPointer) return type1.Compare(type2);
|
|
||||||
if (t1 == CBotTypPointer ||
|
|
||||||
t1 == CBotTypClass ||
|
|
||||||
t1 == CBotTypIntrinsic )
|
|
||||||
{
|
|
||||||
CBotClass* c1 = type1.GetClass();
|
|
||||||
CBotClass* c2 = type2.GetClass();
|
|
||||||
|
|
||||||
return c1->IsChildOf(c2) || c2->IsChildOf(c1);
|
|
||||||
// accept the case in reverse
|
|
||||||
// the transaction will be denied at runtime if the pointer is not
|
|
||||||
// compatible
|
|
||||||
}
|
|
||||||
|
|
||||||
return true;
|
|
||||||
}
|
|
||||||
|
|
||||||
type1.SetType(max);
|
|
||||||
type2.SetType(max);
|
|
||||||
return true;
|
|
||||||
}
|
|
||||||
|
|
||||||
// check if two variables are compatible for parameter passing
|
|
||||||
|
|
||||||
bool TypesCompatibles(const CBotTypResult& type1, const CBotTypResult& type2)
|
|
||||||
{
|
|
||||||
int t1 = type1.GetType();
|
|
||||||
int t2 = type2.GetType();
|
|
||||||
|
|
||||||
if (t1 == CBotTypIntrinsic) t1 = CBotTypClass;
|
|
||||||
if (t2 == CBotTypIntrinsic) t2 = CBotTypClass;
|
|
||||||
|
|
||||||
int max = (t1 > t2) ? t1 : t2;
|
|
||||||
|
|
||||||
if (max == 99) return false; // result is void?
|
|
||||||
|
|
||||||
if (max >= CBotTypBoolean)
|
|
||||||
{
|
|
||||||
if (t2 != t1) return false;
|
|
||||||
|
|
||||||
if (max == CBotTypArrayPointer)
|
|
||||||
return TypesCompatibles(type1.GetTypElem(), type2.GetTypElem());
|
|
||||||
|
|
||||||
if (max == CBotTypClass || max == CBotTypPointer)
|
|
||||||
return type1.GetClass() == type2.GetClass() ;
|
|
||||||
|
|
||||||
return true ;
|
|
||||||
}
|
|
||||||
return true;
|
|
||||||
}
|
|
||||||
|
|
||||||
|
|
||||||
/////////////////////////////////////////////////////////////////////////////////////
|
/////////////////////////////////////////////////////////////////////////////////////
|
||||||
// file management
|
// file management
|
||||||
|
|
||||||
|
|
|
@ -54,11 +54,6 @@ class CBotDefParam; // paramerer list of a function
|
||||||
|
|
||||||
extern bool SaveVar(FILE* pf, CBotVar* pVar);
|
extern bool SaveVar(FILE* pf, CBotVar* pVar);
|
||||||
|
|
||||||
extern CBotInstr* CompileParams(CBotToken* &p, CBotCStack* pStack, CBotVar** ppVars);
|
|
||||||
|
|
||||||
extern bool TypeCompatible( CBotTypResult& type1, CBotTypResult& type2, int op = 0 );
|
|
||||||
extern bool TypesCompatibles( const CBotTypResult& type1, const CBotTypResult& type2 );
|
|
||||||
|
|
||||||
extern bool WriteWord(FILE* pf, unsigned short w);
|
extern bool WriteWord(FILE* pf, unsigned short w);
|
||||||
extern bool ReadWord(FILE* pf, unsigned short& w);
|
extern bool ReadWord(FILE* pf, unsigned short& w);
|
||||||
extern bool ReadLong(FILE* pf, long& w);
|
extern bool ReadLong(FILE* pf, long& w);
|
||||||
|
|
|
@ -19,6 +19,9 @@
|
||||||
|
|
||||||
// Modules inlcude
|
// Modules inlcude
|
||||||
#include "CBotClassInst.h"
|
#include "CBotClassInst.h"
|
||||||
|
|
||||||
|
#include "CBotInstr/CBotInstrUtils.h"
|
||||||
|
|
||||||
#include "CBotLeftExprVar.h"
|
#include "CBotLeftExprVar.h"
|
||||||
#include "CBotTwoOpExpr.h"
|
#include "CBotTwoOpExpr.h"
|
||||||
#include "CBotInstArray.h"
|
#include "CBotInstArray.h"
|
||||||
|
|
|
@ -19,6 +19,9 @@
|
||||||
|
|
||||||
// Modules inlcude
|
// Modules inlcude
|
||||||
#include "CBotExpression.h"
|
#include "CBotExpression.h"
|
||||||
|
|
||||||
|
#include "CBotInstr/CBotInstrUtils.h"
|
||||||
|
|
||||||
#include "CBotTwoOpExpr.h"
|
#include "CBotTwoOpExpr.h"
|
||||||
|
|
||||||
#include "CBotStack.h"
|
#include "CBotStack.h"
|
||||||
|
|
|
@ -21,6 +21,8 @@
|
||||||
// Modules inlcude
|
// Modules inlcude
|
||||||
#include "CBotFunction.h"
|
#include "CBotFunction.h"
|
||||||
|
|
||||||
|
#include "CBotInstr/CBotInstrUtils.h"
|
||||||
|
|
||||||
#include "CBot.h"
|
#include "CBot.h"
|
||||||
|
|
||||||
#include "CBotInstr/CBotBlock.h"
|
#include "CBotInstr/CBotBlock.h"
|
||||||
|
|
|
@ -20,6 +20,8 @@
|
||||||
// Modules inlcude
|
// Modules inlcude
|
||||||
#include "CBotInstrMethode.h"
|
#include "CBotInstrMethode.h"
|
||||||
|
|
||||||
|
#include "CBotInstr/CBotInstrUtils.h"
|
||||||
|
|
||||||
#include "CBotStack.h"
|
#include "CBotStack.h"
|
||||||
#include "CBotCStack.h"
|
#include "CBotCStack.h"
|
||||||
#include "CBotClass.h"
|
#include "CBotClass.h"
|
||||||
|
|
|
@ -0,0 +1,167 @@
|
||||||
|
/*
|
||||||
|
* This file is part of the Colobot: Gold Edition source code
|
||||||
|
* Copyright (C) 2001-2015, Daniel Roux, EPSITEC SA & TerranovaTeam
|
||||||
|
* http://epsitec.ch; http://colobot.info; http://github.com/colobot
|
||||||
|
*
|
||||||
|
* 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 http://gnu.org/licenses
|
||||||
|
*/
|
||||||
|
|
||||||
|
// Modules inlcude
|
||||||
|
#include "CBotInstrUtils.h"
|
||||||
|
|
||||||
|
#include "CBotToken.h"
|
||||||
|
#include "CBotCStack.h"
|
||||||
|
#include "CBotTypResult.h"
|
||||||
|
#include "CBotExpression.h"
|
||||||
|
#include "CBotClass.h"
|
||||||
|
|
||||||
|
#include "CBotVar/CBotVar.h"
|
||||||
|
|
||||||
|
#include "resource.h"
|
||||||
|
|
||||||
|
// Local include
|
||||||
|
|
||||||
|
// Global include
|
||||||
|
|
||||||
|
////////////////////////////////////////////////////////////////////////////////
|
||||||
|
CBotInstr* CompileParams(CBotToken* &p, CBotCStack* pStack, CBotVar** ppVars)
|
||||||
|
{
|
||||||
|
bool first = true;
|
||||||
|
CBotInstr* ret = nullptr; // to return to the list
|
||||||
|
|
||||||
|
CBotCStack* pile = pStack;
|
||||||
|
int i = 0;
|
||||||
|
|
||||||
|
if (IsOfType(p, ID_OPENPAR))
|
||||||
|
{
|
||||||
|
int start, end;
|
||||||
|
if (!IsOfType(p, ID_CLOSEPAR)) while (true)
|
||||||
|
{
|
||||||
|
start = p->GetStart();
|
||||||
|
pile = pile->TokenStack(); // keeps the result on the stack
|
||||||
|
|
||||||
|
if (first) pStack->SetStartError(start);
|
||||||
|
first = false;
|
||||||
|
|
||||||
|
CBotInstr* param = CBotExpression::Compile(p, pile);
|
||||||
|
end = p->GetStart();
|
||||||
|
|
||||||
|
if (!pile->IsOk())
|
||||||
|
{
|
||||||
|
return pStack->Return(nullptr, pile);
|
||||||
|
}
|
||||||
|
|
||||||
|
if (ret == nullptr) ret = param;
|
||||||
|
else ret->AddNext(param); // construct the list
|
||||||
|
|
||||||
|
if (param != nullptr)
|
||||||
|
{
|
||||||
|
if (pile->GetTypResult().Eq(99))
|
||||||
|
{
|
||||||
|
delete pStack->TokenStack();
|
||||||
|
pStack->SetError(TX_VOID, p->GetStart());
|
||||||
|
return nullptr;
|
||||||
|
}
|
||||||
|
ppVars[i] = pile->GetVar();
|
||||||
|
ppVars[i]->GetToken()->SetPos(start, end);
|
||||||
|
i++;
|
||||||
|
|
||||||
|
if (IsOfType(p, ID_COMMA)) continue; // skips the comma
|
||||||
|
if (IsOfType(p, ID_CLOSEPAR)) break;
|
||||||
|
}
|
||||||
|
|
||||||
|
pStack->SetError(TX_CLOSEPAR, p->GetStart());
|
||||||
|
delete pStack->TokenStack();
|
||||||
|
return nullptr;
|
||||||
|
}
|
||||||
|
}
|
||||||
|
ppVars[i] = nullptr;
|
||||||
|
return ret;
|
||||||
|
}
|
||||||
|
|
||||||
|
////////////////////////////////////////////////////////////////////////////////
|
||||||
|
bool TypeCompatible(CBotTypResult& type1, CBotTypResult& type2, int op)
|
||||||
|
{
|
||||||
|
int t1 = type1.GetType();
|
||||||
|
int t2 = type2.GetType();
|
||||||
|
|
||||||
|
int max = (t1 > t2) ? t1 : t2;
|
||||||
|
|
||||||
|
if (max == 99) return false; // result is void?
|
||||||
|
|
||||||
|
// special case for strin concatenation
|
||||||
|
if (op == ID_ADD && max >= CBotTypString) return true;
|
||||||
|
if (op == ID_ASSADD && max >= CBotTypString) return true;
|
||||||
|
if (op == ID_ASS && t1 == CBotTypString) return true;
|
||||||
|
|
||||||
|
if (max >= CBotTypBoolean)
|
||||||
|
{
|
||||||
|
if ( (op == ID_EQ || op == ID_NE) &&
|
||||||
|
(t1 == CBotTypPointer && t2 == CBotTypNullPointer)) return true;
|
||||||
|
if ( (op == ID_EQ || op == ID_NE || op == ID_ASS) &&
|
||||||
|
(t2 == CBotTypPointer && t1 == CBotTypNullPointer)) return true;
|
||||||
|
if ( (op == ID_EQ || op == ID_NE) &&
|
||||||
|
(t1 == CBotTypArrayPointer && t2 == CBotTypNullPointer)) return true;
|
||||||
|
if ( (op == ID_EQ || op == ID_NE || op == ID_ASS) &&
|
||||||
|
(t2 == CBotTypArrayPointer && t1 == CBotTypNullPointer)) return true;
|
||||||
|
if (t2 != t1) return false;
|
||||||
|
if (t1 == CBotTypArrayPointer) return type1.Compare(type2);
|
||||||
|
if (t1 == CBotTypPointer ||
|
||||||
|
t1 == CBotTypClass ||
|
||||||
|
t1 == CBotTypIntrinsic )
|
||||||
|
{
|
||||||
|
CBotClass* c1 = type1.GetClass();
|
||||||
|
CBotClass* c2 = type2.GetClass();
|
||||||
|
|
||||||
|
return c1->IsChildOf(c2) || c2->IsChildOf(c1);
|
||||||
|
// accept the case in reverse
|
||||||
|
// the transaction will be denied at runtime if the pointer is not
|
||||||
|
// compatible
|
||||||
|
}
|
||||||
|
|
||||||
|
return true;
|
||||||
|
}
|
||||||
|
|
||||||
|
type1.SetType(max);
|
||||||
|
type2.SetType(max);
|
||||||
|
return true;
|
||||||
|
}
|
||||||
|
|
||||||
|
////////////////////////////////////////////////////////////////////////////////
|
||||||
|
bool TypesCompatibles(const CBotTypResult& type1, const CBotTypResult& type2)
|
||||||
|
{
|
||||||
|
int t1 = type1.GetType();
|
||||||
|
int t2 = type2.GetType();
|
||||||
|
|
||||||
|
if (t1 == CBotTypIntrinsic) t1 = CBotTypClass;
|
||||||
|
if (t2 == CBotTypIntrinsic) t2 = CBotTypClass;
|
||||||
|
|
||||||
|
int max = (t1 > t2) ? t1 : t2;
|
||||||
|
|
||||||
|
if (max == 99) return false; // result is void?
|
||||||
|
|
||||||
|
if (max >= CBotTypBoolean)
|
||||||
|
{
|
||||||
|
if (t2 != t1) return false;
|
||||||
|
|
||||||
|
if (max == CBotTypArrayPointer)
|
||||||
|
return TypesCompatibles(type1.GetTypElem(), type2.GetTypElem());
|
||||||
|
|
||||||
|
if (max == CBotTypClass || max == CBotTypPointer)
|
||||||
|
return type1.GetClass() == type2.GetClass() ;
|
||||||
|
|
||||||
|
return true ;
|
||||||
|
}
|
||||||
|
return true;
|
||||||
|
}
|
|
@ -0,0 +1,61 @@
|
||||||
|
/*
|
||||||
|
* This file is part of the Colobot: Gold Edition source code
|
||||||
|
* Copyright (C) 2001-2015, Daniel Roux, EPSITEC SA & TerranovaTeam
|
||||||
|
* http://epsitec.ch; http://colobot.info; http://github.com/colobot
|
||||||
|
*
|
||||||
|
* 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 http://gnu.org/licenses
|
||||||
|
*/
|
||||||
|
|
||||||
|
#pragma once
|
||||||
|
|
||||||
|
// Modules inlcude
|
||||||
|
|
||||||
|
// Local include
|
||||||
|
|
||||||
|
// Global include
|
||||||
|
|
||||||
|
// Forward declaration
|
||||||
|
class CBotInstr;
|
||||||
|
class CBotToken;
|
||||||
|
class CBotCStack;
|
||||||
|
class CBotVar;
|
||||||
|
class CBotTypResult;
|
||||||
|
|
||||||
|
/*!
|
||||||
|
* \brief CompileParams Compile a list of parameters.
|
||||||
|
* \param p
|
||||||
|
* \param pStack
|
||||||
|
* \param ppVars
|
||||||
|
* \return
|
||||||
|
*/
|
||||||
|
CBotInstr* CompileParams(CBotToken* &p, CBotCStack* pStack, CBotVar** ppVars);
|
||||||
|
|
||||||
|
/*!
|
||||||
|
* \brief TypeCompatible Check if two results are consistent to make an
|
||||||
|
* operation.
|
||||||
|
* \param type1
|
||||||
|
* \param type2
|
||||||
|
* \param op
|
||||||
|
* \return
|
||||||
|
*/
|
||||||
|
bool TypeCompatible(CBotTypResult& type1, CBotTypResult& type2, int op = 0);
|
||||||
|
|
||||||
|
/*!
|
||||||
|
* \brief TypesCompatibles Check if two variables are compatible for parameter
|
||||||
|
* passing.
|
||||||
|
* \param type1
|
||||||
|
* \param type2
|
||||||
|
* \return
|
||||||
|
*/
|
||||||
|
bool TypesCompatibles(const CBotTypResult& type1, const CBotTypResult& type2);
|
|
@ -20,6 +20,8 @@
|
||||||
// Modules inlcude
|
// Modules inlcude
|
||||||
#include "CBotListArray.h"
|
#include "CBotListArray.h"
|
||||||
|
|
||||||
|
#include "CBotInstr/CBotInstrUtils.h"
|
||||||
|
|
||||||
#include "CBotExprNull.h"
|
#include "CBotExprNull.h"
|
||||||
#include "CBotTwoOpExpr.h"
|
#include "CBotTwoOpExpr.h"
|
||||||
|
|
||||||
|
|
|
@ -24,6 +24,8 @@
|
||||||
#include "CBotCStack.h"
|
#include "CBotCStack.h"
|
||||||
#include "CBotClass.h"
|
#include "CBotClass.h"
|
||||||
|
|
||||||
|
#include "CBotInstr/CBotInstrUtils.h"
|
||||||
|
|
||||||
#include "CBotVar/CBotVar.h"
|
#include "CBotVar/CBotVar.h"
|
||||||
|
|
||||||
// Local include
|
// Local include
|
||||||
|
|
|
@ -19,6 +19,9 @@
|
||||||
|
|
||||||
// Modules inlcude
|
// Modules inlcude
|
||||||
#include "CBotReturn.h"
|
#include "CBotReturn.h"
|
||||||
|
|
||||||
|
#include "CBotInstr/CBotInstrUtils.h"
|
||||||
|
|
||||||
#include "CBotExpression.h"
|
#include "CBotExpression.h"
|
||||||
|
|
||||||
#include "CBotStack.h"
|
#include "CBotStack.h"
|
||||||
|
|
|
@ -19,6 +19,9 @@
|
||||||
|
|
||||||
// Modules inlcude
|
// Modules inlcude
|
||||||
#include "CBotTwoOpExpr.h"
|
#include "CBotTwoOpExpr.h"
|
||||||
|
|
||||||
|
#include "CBotInstr/CBotInstrUtils.h"
|
||||||
|
|
||||||
#include "CBotParExpr.h"
|
#include "CBotParExpr.h"
|
||||||
#include "CBotLogicExpr.h"
|
#include "CBotLogicExpr.h"
|
||||||
#include "CBotExpression.h"
|
#include "CBotExpression.h"
|
||||||
|
|
|
@ -13,6 +13,7 @@ set(SOURCES
|
||||||
CBotStringArray.cpp
|
CBotStringArray.cpp
|
||||||
CBotTypResult.cpp
|
CBotTypResult.cpp
|
||||||
CBotInstr/CBotInstr.cpp
|
CBotInstr/CBotInstr.cpp
|
||||||
|
CBotInstr/CBotInstrUtils.cpp
|
||||||
CBotInstr/CBotWhile.cpp
|
CBotInstr/CBotWhile.cpp
|
||||||
CBotInstr/CBotDo.cpp
|
CBotInstr/CBotDo.cpp
|
||||||
CBotInstr/CBotFor.cpp
|
CBotInstr/CBotFor.cpp
|
||||||
|
|
Loading…
Reference in New Issue