ZsgsDesign / NOJ

app/Admin/Controllers/CodeTesterController.php

<?php

namespace App\Admin\Controllers;

use App\Http\Controllers\Controller;
use Encore\Admin\Layout\Content;
use App\Models\Eloquent\OJ;
use App\Models\Eloquent\Problem;
use App\Models\Eloquent\Compiler;
use Encore\Admin\Widgets\Form;
use Encore\Admin\Widgets\Box;
use Encore\Admin\Widgets\Table;
use App\Babel\Babel;
use Arr;

class CodeTesterController extends Controller
{
    /**
     * Show the Testing Page.
     *
     * @return Response

The type App\Admin\Controllers\Response was not found. Did you mean Response? If so, make sure to prefix the type with \.

     */
    public function tester(Content $content)
    {
        $content=$content->header(__('admin.tester.tester.header'));

It seems like __('admin.tester.tester.header') can also be of type array and array; however, parameter $header of Encore\Admin\Layout\Content::header() does only seem to accept string, maybe add an additional type check?

        $content=$content->description(__('admin.tester.tester.description'));

It seems like __('admin.tester.tester.description') can also be of type array and array; however, parameter $description of Encore\Admin\Layout\Content::description() does only seem to accept string, maybe add an additional type check?

        if (request()->isMethod('post')) {
            $content=$content->body($this->run());
        }
        return $content->body($this->form());

The expression return $content->body($this->form()) returns the type Encore\Admin\Layout\Content which is incompatible with the documented return type App\Admin\Controllers\Response.

    }

    /**
     * Make a form builder.
     *
     * @return Form
     */
    protected function form()
    {
        $OJ=OJ::where(["ocode"=>"noj"])->get();
        $box=new Box(__('admin.tester.tester.title'));

It seems like __('admin.tester.tester.title') can also be of type array and array; however, parameter $title of Encore\Admin\Widgets\Box::__construct() does only seem to accept string, maybe add an additional type check?

        if (blank($OJ)) {
            $box->style('danger');
            $box->content(__('admin.tester.help.installfirst'));

It seems like __('admin.tester.help.installfirst') can also be of type array and array; however, parameter $content of Encore\Admin\Widgets\Box::content() does only seem to accept string, maybe add an additional type check?

            return $box;

The expression return $box returns the type Encore\Admin\Widgets\Box which is incompatible with the documented return type Encore\Admin\Widgets\Form.

        }
        $oid=$OJ->first()->oid;
        $box->style('success');
        $form=new Form();
        $form->select('oid', __('admin.tester.oj'))->options($OJ->pluck('name', 'oid'))->help(__('admin.tester.help.onlinejudge'))->rules('required');

It seems like __('admin.tester.help.onlinejudge') can also be of type array and array; however, parameter $text of Encore\Admin\Form\Field::help() does only seem to accept string, maybe add an additional type check?

        $form->select('pid', __('admin.tester.pid'))->options(Problem::where(["OJ"=>$oid])->get()->sortBy('readable_name')->pluck('readable_name', 'pid'))->rules('required');
        $form->select('coid', __('admin.tester.coid'))->options(Compiler::where(["oid"=>$oid])->get()->pluck('display_name', 'coid'))->rules('required');
        $form->textarea('solution', __('admin.tester.solution'))->rows(20)->rules('required');
        $form->action(route('admin.codetester.tester'));
        $form->fill([
            'oid'=>request()->oid,
            'pid'=>request()->pid,
            'coid'=>request()->coid,
            'solution'=>request()->solution,
        ]);
        $form->method('POST');
        $box->content($form);

$form of type Encore\Admin\Widgets\Form is incompatible with the type string expected by parameter $content of Encore\Admin\Widgets\Box::content().

        return $box;

The expression return $box returns the type Encore\Admin\Widgets\Box which is incompatible with the documented return type Encore\Admin\Widgets\Form.

    }

    /**
     * Running Test.
     *
     * @return Response
     */
    protected function run()
    {
        $babel=new Babel();
        request()->validate([
            'oid' => 'required|integer',
            'pid' => 'required|integer',
            'coid' => 'required|integer',
            'solution' => 'required',
        ]);
        $runner=$babel->testrun([
            'name' => 'noj',
            'pid' => request()->pid,
            'coid' => request()->coid,
            'solution' => request()->solution,
        ]);
        $verdict=$runner->verdict;
        $boxRun=new Box(__('admin.tester.tester.run'));

It seems like __('admin.tester.tester.run') can also be of type array and array; however, parameter $title of Encore\Admin\Widgets\Box::__construct() does only seem to accept string, maybe add an additional type check?

        $boxRun->style('info');
        $verdictData=[];
        foreach ($verdict['data'] as $v) {
            $verdictData[]=[
                $v["test_case"],
                $v["cpu_time"],
                $v["real_time"],
                $v["memory"],
                $v["signal"],
                $v["exit_code"],
                $v["error"],
                $v["result"],
            ];
        }
        $table=new Table(['Test Case', 'CPU Time(ms)', 'Real Time(ms)', 'Memory(byte)', 'Signal', 'Exit Code', 'Error', 'Result'], $verdictData);
        $output="<p>Verdict: {$verdict['verdict']}</p>";
        if (!blank($verdict['compile_info'])) {
            $output.="<p>Compiler Info:</p><pre>".htmlspecialchars($verdict['compile_info'])."</pre>";
        }
        $output.=$table->render();
        $boxRun->content($output);
        return $boxRun;

The expression return $boxRun returns the type Encore\Admin\Widgets\Box which is incompatible with the documented return type App\Admin\Controllers\Response.

    }
}