import { Modes } from './../modes'; import { Types } from "./../../typeSystem/types"; import { StoreObject } from './storeObject'; export class Store { static canImplicitTypeCast (castType, sourceType) { if (castType.isCompatible(Types.INTEGER) || castType.isCompatible(Types.REAL)) { if (sourceType.isCompatible(Types.INTEGER) || sourceType.isCompatible(Types.REAL)) { return true; } } return false; } static doImplicitCasting (castType, stoObj) { if(!Store.canImplicitTypeCast(castType, stoObj.type)) { throw new Error("!!!Critical error: attempted to type cast invalid types"); } if(castType.isCompatible(Types.INTEGER)) { return new StoreObject(Types.INTEGER, stoObj.value.trunc()); } else { return new StoreObject(Types.REAL, stoObj.value); } } constructor(name) { this.name = name; this.store = {}; this.nextStore = null; this.mode = Modes.RUN; } extendStore (nextStore) { this.nextStore = nextStore; } applyStore (id) { if(!this.store[id]) { if (this.nextStore !== null) { return this.nextStore.applyStore(id); } else { throw new Error(`Variable ${id} not found.`); } } const val = this.store[id]; if (val.isRef) { return val.getRefObj(); } return this.store[id]; } updateStore (id, stoObj) { if(!this.store[id]) { if(this.nextStore !== null) { this.nextStore.updateStore(id, stoObj); return this; } else { // TODO: better error message throw new Error(`Variable ${id} not found.`); } } else { const oldObj = this.store[id]; if(oldObj.readOnly) { // TODO: better error message throw new Error("Cannot change value of a read only variable: " + id); } if(oldObj.isRef) { oldObj.updateRef(stoObj); return this; } else if(oldObj.isCompatible(stoObj)) { stoObj.setID(id); this.store[id] = Object.freeze(stoObj); return this; } else { const oldType = oldObj.type; const stoType = stoObj.type; // TODO: better error message throw new Error(`${oldType} is not compatible with type ${stoType} given`); } } } //In case of future use of ref, it needs to have a special function to update the storeRefObject // and no the StoreObject refferenced by it // updateStoreRef(id, stoObjAddress) {...} insertStore (id, stoObj) { if (this.store[id]) { // TODO: better error message throw new Error(`${id} is already defined`); } stoObj.setID(id); this.store[id] = Object.freeze(stoObj); return this; } }