Method assignRuntimeVariables

src/runtime/builder.ts:155–193

(block)

  }

  assignRuntimeVariables(block) {
    let registerToVars = this.registerToVars;
    let groupToValue = this.groupToValue;
    for(let varName in block.variables) {
      let variable = block.variables[varName];
      let group = this.getGroup(variable);
      if(group !== undefined) {
        let value = groupToValue[group];
        if(value === undefined) {
          if(variable.constant) {
            value = variable.constant.value;
          } else {
            value = this.createVariable();
            registerToVars[value.id].push(varName);
          }
          groupToValue[group] = value;
        } else {
          if(variable.constant) {
            if(!join.isVariable(value) && variable.constant.value !== value) {
              this.errors.push(errors.incompatabileTransitiveEquality(block, variable, value));
            }
            value = variable.constant.value;
            if(this.myRegisters[value.id]) {
              groupToValue[group] = value;
            }
          } else if(join.isVariable(value)) {
            registerToVars[value.id].push(varName);
          }
        }
      }
    }

    let unprovided = this.unprovided;
    for(let ix = 0; ix < this.varIx; ix++) {
      if(unprovided[ix] === undefined && this.myRegisters[ix]) {
        unprovided[ix] = true;
      }
    }
  }

  createVariable() {
    this.registerToVars[this.varIx] = [];