Phased Solver

///////////////////////////////////////////////////////////////////////////////////////////////////

// Copyright 2024 Leszek Koltunski                                                               //

//                                                                                               //

// This file is part of Magic Cube.                                                              //

//                                                                                               //

// Magic Cube is proprietary software licensed under an EULA which you should have received      //

// along with the code. If not, check https://distorted.org/magic/License-Magic-Cube.html        //

///////////////////////////////////////////////////////////////////////////////////////////////////

package org.distorted.phasedsolver;

import static org.distorted.objectlib.main.TwistyObject.MODE_NORM;

import android.app.Activity;

import android.content.SharedPreferences;

import android.os.Bundle;

import android.view.View;

import android.widget.ArrayAdapter;

import android.widget.Spinner;

import org.distorted.library.main.DistortedLibrary;

import org.distorted.objectlib.main.ObjectControl;

///////////////////////////////////////////////////////////////////////////////////////////////////

  private SharedPreferences mPreferences;

  private SolverLowerPane mLowerPane;

  private SolvedObject mObject;

  private String mMoves;

  private SolverAbstract mSolver;

  protected void onCreate(Bundle icicle)

    {

    super.onCreate(icicle);

    mPreferences = PreferenceManager.getDefaultSharedPreferences(this);

    DistortedLibrary.onCreate();

    setContentView(R.layout.mainlayout);

    SolverSurfaceView view = findViewById(R.id.solverView);

    OSInterface os = view.getInterface();

    mAsset = new InitAssets(null, null, os);

    mMoves = "";

    objectSpinner.setOnItemSelectedListener(this);

    String[] solverNames = createSolverNames();

    ArrayAdapter<String> objAdapter = new ArrayAdapter<>(this, android.R.layout.simple_spinner_item, solverNames);

    objAdapter.setDropDownViewResource(android.R.layout.simple_spinner_dropdown_item);

    objectSpinner.setAdapter(objAdapter);

///////////////////////////////////////////////////////////////////////////////////////////////////

  protected void onPause()

    {

    super.onPause();

    SolverSurfaceView view = findViewById(R.id.solverView);

    view.onPause();

    DistortedLibrary.onPause();

    savePreferences();

    }

///////////////////////////////////////////////////////////////////////////////////////////////////

  protected void onResume()

    {

    super.onResume();

    SolverSurfaceView view = findViewById(R.id.solverView);

    view.onResume();

    DistortedLibrary.onResume();

    restorePreferences();

///////////////////////////////////////////////////////////////////////////////////////////////////

  @Override

  protected void onDestroy()

    {

    DistortedLibrary.onDestroy();

    super.onDestroy();

    }

  public void onItemSelected(AdapterView<?> parent, View view, int pos, long id)

    {

    if( parent.getId()==R.id.solverSpinner && mCurrSolver!=pos )

      {

      mCurrSolver = pos;

      String[] phaseNames = createSolver();

      mLowerPane.updateNames(this,phaseNames);

      int ordinal = getObjectOrdinal();

      ObjectControl control = getControl();

      control.changeObject(ordinal, MODE_NORM, mAsset);

      }

    }

///////////////////////////////////////////////////////////////////////////////////////////////////

    public void onNothingSelected(AdapterView<?> parent) { }

///////////////////////////////////////////////////////////////////////////////////////////////////

  private String[] createSolverNames()

    {

    String[] ret = new String[num];

    for(int s=0; s<num; s++) ret[s] = PhasedSolverList.getName(s);

    return ret;

///////////////////////////////////////////////////////////////////////////////////////////////////

  private int getObjectOrdinal()

    {

///////////////////////////////////////////////////////////////////////////////////////////////////

  private String[] createSolver()

    {

      {

      mObject = mSolver.getObject();

      String[] names = new String[numPhases];

      for(int p=0; p<numPhases; p++) names[p] = mSolver.getPhaseName(p);

      }

    return new String[] {"NONE"};

  public void Left(View v)       { mLowerPane.backMove(this); }

  public void Right(View v)      { mLowerPane.nextMove(this); }

  public void PhaseLeft(View v)  { mLowerPane.backPhase(this); }

  public void PhaseRight(View v) { mLowerPane.nextPhase(this); }

    {

    SolverSurfaceView view = findViewById(R.id.solverView);

    return view.getObjectControl();

    }

///////////////////////////////////////////////////////////////////////////////////////////////////

    {

    SharedPreferences.Editor editor = mPreferences.edit();

    SolverSurfaceView view = findViewById(R.id.solverView);

    OSInterface os = view.getInterface();

    os.setEditor(editor);

    view.getObjectControl().savePreferences();

    }

///////////////////////////////////////////////////////////////////////////////////////////////////

  private void restorePreferences()

    {

    SolverSurfaceView view = findViewById(R.id.solverView);

    OSInterface os = view.getInterface();

    os.setPreferences(mPreferences);

    view.getObjectControl().restorePreferences();

    }

///////////////////////////////////////////////////////////////////////////////////////////////////

      Toast.makeText(this,message,Toast.LENGTH_LONG).show();

      int[][] moves = new int[numMoves][];

      for(int m=1; m<=numMoves; m++)

    long diff = time - mTime;

    mTime = time;

    {

    TwistyObject object = getControl().getObject();

    int numCubits = 26;

    int[] qi = new int[numCubits];

    for(int i=0; i<numCubits; i++) qi[i] = object.getCubitQuatIndex(i);

    final SolutionListener listener = this;

    mTime = System.currentTimeMillis();

    runOnUiThread(new Runnable()

      public void run()

      });

    }

  public void Scramble(View v)

    {

    ObjectControl control = getControl();

    control.fastScrambleObject(1000,20);

    mLowerPane.clearMoves(this);

    mNumMoves = 0;

    mMoves = "";

    mText.setText(mMoves);

    }

    {

    ObjectControl control = getControl();

    control.solveObject();

    mLowerPane.clearMoves(this);

    mMoves = "";

    mText.setText(mMoves);

    }

///////////////////////////////////////////////////////////////////////////////////////////////////

    {

    int move = mObject.findMove(axis,row,angle);

    mMoves += (" "+move);

    mNumMoves++;

      {

      int space = mMoves.indexOf(' ');

      mMoves = mMoves.substring(space+1);

      mNumMoves--;

      {

      @Override

      public void run() { mText.setText(mMoves); }

      });