arkanalyzer 1.0.41 → 1.0.43

package/lib/pass/ScenePassMgr.d.ts

@@ -0,0 +1,73 @@
+import { AnyKey, Context, CtxArg, UpperRoot } from './Context';
+import { Dispatcher } from './Dispatcher';
+import { ClassPass, FilePass, MethodPass } from './Pass';
+import type { Scene } from '../Scene';
+import type { ArkFile } from '../core/model/ArkFile';
+import type { ArkClass } from '../core/model/ArkClass';
+import type { ArkMethod } from '../core/model/ArkMethod';
+/**
+ * Represents a specialized context class that extends the base Context class with specific types.
+ * Provides functionality to access the root context within a hierarchical structure.
+ * The SceneCtx is bound to a UpperRoot and CtxArg, defining its operational scope.
+ * The root method retrieves the top-level SceneCtx itself.
+ */
+export declare class SceneCtx extends Context<UpperRoot, CtxArg> {
+    constructor();
+    root(): SceneCtx;
+}
+/**
+ * Represents the properties required for configuring various passes in a system.
+ * The PassProps interface is designed to hold arrays of different types of passes,
+ * specifically file-level, class-level, and method-level passes. Each pass type
+ * is identified by a unique key and associated with specific configurations or rules.
+ * These passes are used to define how certain operations or validations should be
+ * applied at different levels of granularity within the system.
+ */
+export interface PassProps {
+    file: AnyKey<FilePass>[];
+    klass: AnyKey<ClassPass>[];
+    method: AnyKey<MethodPass>[];
+}
+/**
+ * Represents the properties for a selector configuration.
+ * Provides options to define callback functions for selecting files, classes, and methods.
+ * The file property allows specifying a function to select files from a given scene.
+ * The klass property allows specifying a function to select classes from a given file.
+ * The method property allows specifying a function to select methods from a given class.
+ */
+export interface SelectorProps {
+    file?: (s: Scene) => ArkFile[];
+    klass?: (s: ArkFile) => ArkClass[];
+    method?: (s: ArkClass) => ArkMethod[];
+}
+/**
+ * Represents the properties for configuring a scene pass manager.
+ *
+ * The SceneProps interface allows defining optional configurations for a scene,
+ * including rendering passes, selector properties, and a dispatcher implementation.
+ *
+ * The passes property defines the configuration for rendering stages or phases within the scene.
+ *
+ * The selectors property provides options for selecting elements or components within the scene.
+ *
+ * The dispatcher property specifies the dispatcher class responsible for handling events or actions
+ * within the scene, defaulting to the base Dispatcher type if not provided.
+ */
+export interface SceneProps {
+    passes?: PassProps;
+    selectors?: SelectorProps;
+    dispatcher?: typeof Dispatcher;
+}
+export declare class ScenePassMgr {
+    private passes;
+    private selectors?;
+    private dispatcher?;
+    private sctx;
+    constructor(props: SceneProps);
+    sceneContext(): SceneCtx;
+    run(scene: Scene): void;
+    private iterFile;
+    private iterClass;
+    private iterMethod;
+}
+//# sourceMappingURL=ScenePassMgr.d.ts.map

package/lib/pass/ScenePassMgr.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ScenePassMgr.d.ts","sourceRoot":"","sources":["../../src/pass/ScenePassMgr.ts"],"names":[],"mappings":"AAeA,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AAE/D,OAAO,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAC1C,OAAO,EAAY,SAAS,EAAuB,QAAQ,EAAa,UAAU,EAAE,MAAM,QAAQ,CAAC;AACnG,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,UAAU,CAAC;AACtC,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,uBAAuB,CAAC;AACrD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,wBAAwB,CAAC;AACvD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,yBAAyB,CAAC;AAIzD;;;;;GAKG;AACH,qBAAa,QAAS,SAAQ,OAAO,CAAC,SAAS,EAAE,MAAM,CAAC;;IAKpD,IAAI,IAAI,QAAQ;CAGnB;AAED;;;;;;;GAOG;AACH,MAAM,WAAW,SAAS;IAEtB,IAAI,EAAE,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC;IAEzB,KAAK,EAAE,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC;IAE3B,MAAM,EAAE,MAAM,CAAC,UAAU,CAAC,EAAE,CAAA;CAC/B;AAED;;;;;;GAMG;AACH,MAAM,WAAW,aAAa;IAE1B,IAAI,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,KAAK,OAAO,EAAE,CAAC;IAE/B,KAAK,CAAC,EAAE,CAAC,CAAC,EAAE,OAAO,KAAK,QAAQ,EAAE,CAAC;IAEnC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,QAAQ,KAAK,SAAS,EAAE,CAAA;CACxC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,WAAW,UAAU;IACvB,MAAM,CAAC,EAAE,SAAS,CAAC;IACnB,SAAS,CAAC,EAAE,aAAa,CAAC;IAC1B,UAAU,CAAC,EAAE,OAAO,UAAU,CAAC;CAClC;AAED,qBAAa,YAAY;IACrB,OAAO,CAAC,MAAM,CAIZ;IACF,OAAO,CAAC,SAAS,CAAC,CAA4B;IAC9C,OAAO,CAAC,UAAU,CAAC,CAAiC;IACpD,OAAO,CAAC,IAAI,CAA4B;gBAE5B,KAAK,EAAE,UAAU;IAY7B,YAAY,IAAI,QAAQ;IAIxB,GAAG,CAAC,KAAK,EAAE,KAAK,GAAG,IAAI;IAavB,OAAO,CAAC,QAAQ;IAmBhB,OAAO,CAAC,SAAS;IAmBjB,OAAO,CAAC,UAAU;CAgBrB"}

package/lib/pass/ScenePassMgr.js

@@ -0,0 +1,156 @@
+"use strict";
+/*
+ * Copyright (c) 2024-2025 Huawei Device Co., Ltd.
+ * Licensed under the Apache License, Version 2.0 (the "License");
+ * you may not use this file except in compliance with the License.
+ * You may obtain a copy of the License at
+ *
+ *     http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software
+ * distributed under the License is distributed on an "AS IS" BASIS,
+ * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ * See the License for the specific language governing permissions and
+ * limitations under the License.
+ */
+var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    var desc = Object.getOwnPropertyDescriptor(m, k);
+    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
+      desc = { enumerable: true, get: function() { return m[k]; } };
+    }
+    Object.defineProperty(o, k2, desc);
+}) : (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    o[k2] = m[k];
+}));
+var __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
+    Object.defineProperty(o, "default", { enumerable: true, value: v });
+}) : function(o, v) {
+    o["default"] = v;
+});
+var __importStar = (this && this.__importStar) || function (mod) {
+    if (mod && mod.__esModule) return mod;
+    var result = {};
+    if (mod != null) for (var k in mod) if (k !== "default" && Object.prototype.hasOwnProperty.call(mod, k)) __createBinding(result, mod, k);
+    __setModuleDefault(result, mod);
+    return result;
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.ScenePassMgr = exports.SceneCtx = void 0;
+const Context_1 = require("./Context");
+const logger_1 = __importStar(require("../utils/logger"));
+const Dispatcher_1 = require("./Dispatcher");
+const Pass_1 = require("./Pass");
+const logger = logger_1.default.getLogger(logger_1.LOG_MODULE_TYPE.ARKANALYZER, 'SceneMgr');
+/**
+ * Represents a specialized context class that extends the base Context class with specific types.
+ * Provides functionality to access the root context within a hierarchical structure.
+ * The SceneCtx is bound to a UpperRoot and CtxArg, defining its operational scope.
+ * The root method retrieves the top-level SceneCtx itself.
+ */
+class SceneCtx extends Context_1.Context {
+    constructor() {
+        super(Context_1.UpperRoot.getInstance());
+    }
+    root() {
+        return this;
+    }
+}
+exports.SceneCtx = SceneCtx;
+class ScenePassMgr {
+    constructor(props) {
+        this.passes = {
+            file: [],
+            klass: [],
+            method: [],
+        };
+        this.selectors = undefined;
+        this.dispatcher = Dispatcher_1.Dispatcher;
+        this.sctx = new SceneCtx();
+        if (props.passes) {
+            this.passes = props.passes;
+        }
+        if (props.selectors) {
+            this.selectors = props.selectors;
+        }
+        if (props.dispatcher) {
+            this.dispatcher = props.dispatcher;
+        }
+    }
+    sceneContext() {
+        return this.sctx;
+    }
+    run(scene) {
+        var _a;
+        logger.info('run scene');
+        let files;
+        if ((_a = this.selectors) === null || _a === void 0 ? void 0 : _a.file) {
+            files = this.selectors.file(scene);
+        }
+        else {
+            files = scene.getFiles();
+        }
+        for (let file of files) {
+            this.iterFile(file);
+        }
+    }
+    iterFile(file) {
+        var _a;
+        let fctx = new Pass_1.FileCtx(this.sctx);
+        for (let P of this.passes.file) {
+            let p = new P();
+            if (p.run(file, fctx) === 1 /* FallAction.Break */) {
+                break;
+            }
+        }
+        let classes;
+        if ((_a = this.selectors) === null || _a === void 0 ? void 0 : _a.klass) {
+            classes = this.selectors.klass(file);
+        }
+        else {
+            classes = file.getClasses();
+        }
+        for (let cls of classes) {
+            this.iterClass(cls, fctx);
+        }
+    }
+    iterClass(cls, fctx) {
+        var _a;
+        let cctx = new Pass_1.ClassCtx(fctx);
+        for (let P of this.passes.klass) {
+            let p = new P();
+            if (p.run(cls, cctx) === 1 /* FallAction.Break */) {
+                break;
+            }
+        }
+        let methods;
+        if ((_a = this.selectors) === null || _a === void 0 ? void 0 : _a.method) {
+            methods = this.selectors.method(cls);
+        }
+        else {
+            methods = cls.getMethods();
+        }
+        for (let mtd of methods) {
+            this.iterMethod(mtd, cctx);
+        }
+    }
+    iterMethod(mtd, cctx) {
+        var _a;
+        let mctx = new Pass_1.MethodCtx(cctx);
+        for (let P of this.passes.method) {
+            let p = new P();
+            if (p.run(mtd, mctx) === 1 /* FallAction.Break */) {
+                break;
+            }
+        }
+        if (this.dispatcher) {
+            let stmts = ((_a = mtd.getCfg()) === null || _a === void 0 ? void 0 : _a.getStmts()) || [];
+            let dispatcher = new this.dispatcher(mctx);
+            for (let s of stmts) {
+                dispatcher.dispatchStmt(mtd, s);
+            }
+        }
+    }
+}
+exports.ScenePassMgr = ScenePassMgr;

package/lib/pass/validators/Exprs.d.ts

@@ -0,0 +1,9 @@
+import { AbstractInvokeExpr } from '../../core/base/Expr';
+import { SummaryReporter, ValueValidator } from './Validator';
+import { Value } from '../../core/base/Value';
+export declare class AbsInvokeValidator extends ValueValidator<AbstractInvokeExpr> {
+    private static readonly INSTANCE;
+    validate(value: AbstractInvokeExpr, ctx: SummaryReporter): void;
+    checkArg(arg: Value, index: number, ctx: SummaryReporter): void;
+}
+//# sourceMappingURL=Exprs.d.ts.map

package/lib/pass/validators/Exprs.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Exprs.d.ts","sourceRoot":"","sources":["../../../src/pass/validators/Exprs.ts"],"names":[],"mappings":"AAeA,OAAO,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAC;AAC1D,OAAO,EAAE,eAAe,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAC9D,OAAO,EAAE,KAAK,EAAE,MAAM,uBAAuB,CAAC;AAM9C,qBAAa,kBAAmB,SAAQ,cAAc,CAAC,kBAAkB,CAAC;IACtE,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAA4B;IAE5D,QAAQ,CAAC,KAAK,EAAE,kBAAkB,EAAE,GAAG,EAAE,eAAe,GAAG,IAAI;IAM/D,QAAQ,CAAC,GAAG,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,eAAe,GAAG,IAAI;CAWlE"}

package/lib/pass/validators/Exprs.js

@@ -0,0 +1,40 @@
+"use strict";
+/*
+ * Copyright (c) 2024-2025 Huawei Device Co., Ltd.
+ * Licensed under the Apache License, Version 2.0 (the "License");
+ * you may not use this file except in compliance with the License.
+ * You may obtain a copy of the License at
+ *
+ *     http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software
+ * distributed under the License is distributed on an "AS IS" BASIS,
+ * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ * See the License for the specific language governing permissions and
+ * limitations under the License.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.AbsInvokeValidator = void 0;
+const Expr_1 = require("../../core/base/Expr");
+const Validator_1 = require("./Validator");
+const Constant_1 = require("../../core/base/Constant");
+const Local_1 = require("../../core/base/Local");
+class AbsInvokeValidator extends Validator_1.ValueValidator {
+    validate(value, ctx) {
+        value.getArgs().forEach((arg, i) => {
+            this.checkArg(arg, i, ctx);
+        });
+    }
+    checkArg(arg, index, ctx) {
+        if (!((arg instanceof Local_1.Local) || (arg instanceof Constant_1.Constant))) {
+            ctx.error(`arg ${index} is not local or constant`);
+        }
+    }
+}
+exports.AbsInvokeValidator = AbsInvokeValidator;
+AbsInvokeValidator.INSTANCE = new AbsInvokeValidator();
+(() => {
+    AbsInvokeValidator.register([Expr_1.AbstractInvokeExpr, (v, ctx, mtd) => {
+            AbsInvokeValidator.INSTANCE.run(v, ctx, mtd);
+        }]);
+})();

package/lib/pass/validators/Models.d.ts

@@ -0,0 +1,14 @@
+import { ArkClass } from '../../core/model/ArkClass';
+import { ClassValidator, FileValidator, MethodValidator, SummaryReporter } from './Validator';
+import { ArkFile } from '../../core/model/ArkFile';
+import { ArkMethod } from '../../core/model/ArkMethod';
+export declare class ArkMethodValidator extends MethodValidator {
+    validate(mtd: ArkMethod, ctx: SummaryReporter): void;
+}
+export declare class ArkClassValidator extends ClassValidator {
+    validate(cls: ArkClass, ctx: SummaryReporter): void;
+}
+export declare class ArkFileValidator extends FileValidator {
+    validate(file: ArkFile, ctx: SummaryReporter): void;
+}
+//# sourceMappingURL=Models.d.ts.map

package/lib/pass/validators/Models.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Models.d.ts","sourceRoot":"","sources":["../../../src/pass/validators/Models.ts"],"names":[],"mappings":"AAeA,OAAO,EAAE,QAAQ,EAAE,MAAM,2BAA2B,CAAC;AACrD,OAAO,EAAE,cAAc,EAAE,aAAa,EAAE,eAAe,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAE9F,OAAO,EAAE,OAAO,EAAE,MAAM,0BAA0B,CAAC;AACnD,OAAO,EAAE,SAAS,EAAE,MAAM,4BAA4B,CAAC;AAEvD,qBAAa,kBAAmB,SAAQ,eAAe;IACnD,QAAQ,CAAC,GAAG,EAAE,SAAS,EAAE,GAAG,EAAE,eAAe,GAAG,IAAI;CAMvD;AAED,qBAAa,iBAAkB,SAAQ,cAAc;IACjD,QAAQ,CAAC,GAAG,EAAE,QAAQ,EAAE,GAAG,EAAE,eAAe,GAAG,IAAI;CAMtD;AAED,qBAAa,gBAAiB,SAAQ,aAAa;IAC/C,QAAQ,CAAC,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,eAAe,GAAG,IAAI;CAEtD"}

package/lib/pass/validators/Models.js

@@ -0,0 +1,42 @@
+"use strict";
+/*
+ * Copyright (c) 2024-2025 Huawei Device Co., Ltd.
+ * Licensed under the Apache License, Version 2.0 (the "License");
+ * you may not use this file except in compliance with the License.
+ * You may obtain a copy of the License at
+ *
+ *     http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software
+ * distributed under the License is distributed on an "AS IS" BASIS,
+ * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ * See the License for the specific language governing permissions and
+ * limitations under the License.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.ArkFileValidator = exports.ArkClassValidator = exports.ArkMethodValidator = void 0;
+const Validator_1 = require("./Validator");
+const ArkError_1 = require("../../core/common/ArkError");
+class ArkMethodValidator extends Validator_1.MethodValidator {
+    validate(mtd, ctx) {
+        const err = mtd.validate();
+        if (err.errCode !== ArkError_1.ArkErrorCode.OK) {
+            ctx.error(`code: ${err.errCode} msg: ${err.errMsg}`);
+        }
+    }
+}
+exports.ArkMethodValidator = ArkMethodValidator;
+class ArkClassValidator extends Validator_1.ClassValidator {
+    validate(cls, ctx) {
+        const err = cls.validate();
+        if (err.errCode !== ArkError_1.ArkErrorCode.OK) {
+            ctx.error(`code: ${err.errCode} msg: ${err.errMsg}`);
+        }
+    }
+}
+exports.ArkClassValidator = ArkClassValidator;
+class ArkFileValidator extends Validator_1.FileValidator {
+    validate(file, ctx) {
+    }
+}
+exports.ArkFileValidator = ArkFileValidator;

package/lib/pass/validators/SceneValidator.d.ts

@@ -0,0 +1,19 @@
+import { Scene } from '../../Scene';
+import { SceneSummary } from './Validator';
+import './Exprs';
+import './Stmts';
+import './Values';
+/**
+ * The SceneValidator class is responsible for validating a given scene by leveraging the ScenePassMgr.
+ * It sets up a context for validation, executes the validation process, and retrieves the summary of the validation.
+ *
+ * The validate method initializes a new SceneSummary instance, associates it with the current scene context,
+ * runs the validation process using the configured manager, and finally returns the generated summary.
+ *
+ * This class ensures that the validation logic is encapsulated and provides a clean interface for processing scenes.
+ */
+export declare class SceneValidator {
+    private mgr;
+    validate(scene: Scene): SceneSummary;
+}
+//# sourceMappingURL=SceneValidator.d.ts.map

package/lib/pass/validators/SceneValidator.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"SceneValidator.d.ts","sourceRoot":"","sources":["../../../src/pass/validators/SceneValidator.ts"],"names":[],"mappings":"AAgBA,OAAO,EAAE,KAAK,EAAE,MAAM,aAAa,CAAC;AAEpC,OAAO,EAEH,YAAY,EACf,MAAM,aAAa,CAAC;AAErB,OAAO,SAAS,CAAC;AACjB,OAAO,SAAS,CAAC;AACjB,OAAO,UAAU,CAAC;AAKlB;;;;;;;;GAQG;AACH,qBAAa,cAAc;IACvB,OAAO,CAAC,GAAG,CAOR;IAEH,QAAQ,CAAC,KAAK,EAAE,KAAK,GAAG,YAAY;CAOvC"}

package/lib/pass/validators/SceneValidator.js

@@ -0,0 +1,77 @@
+"use strict";
+/*
+ * Copyright (c) 2024-2025 Huawei Device Co., Ltd.
+ * Licensed under the Apache License, Version 2.0 (the "License");
+ * you may not use this file except in compliance with the License.
+ * You may obtain a copy of the License at
+ *
+ *     http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software
+ * distributed under the License is distributed on an "AS IS" BASIS,
+ * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ * See the License for the specific language governing permissions and
+ * limitations under the License.
+ */
+var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    var desc = Object.getOwnPropertyDescriptor(m, k);
+    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
+      desc = { enumerable: true, get: function() { return m[k]; } };
+    }
+    Object.defineProperty(o, k2, desc);
+}) : (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    o[k2] = m[k];
+}));
+var __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
+    Object.defineProperty(o, "default", { enumerable: true, value: v });
+}) : function(o, v) {
+    o["default"] = v;
+});
+var __importStar = (this && this.__importStar) || function (mod) {
+    if (mod && mod.__esModule) return mod;
+    var result = {};
+    if (mod != null) for (var k in mod) if (k !== "default" && Object.prototype.hasOwnProperty.call(mod, k)) __createBinding(result, mod, k);
+    __setModuleDefault(result, mod);
+    return result;
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.SceneValidator = void 0;
+const ScenePassMgr_1 = require("../ScenePassMgr");
+const logger_1 = __importStar(require("../../utils/logger"));
+const Validator_1 = require("./Validator");
+const Models_1 = require("./Models");
+require("./Exprs");
+require("./Stmts");
+require("./Values");
+const logger = logger_1.default.getLogger(logger_1.LOG_MODULE_TYPE.ARKANALYZER, 'SceneValidator');
+/**
+ * The SceneValidator class is responsible for validating a given scene by leveraging the ScenePassMgr.
+ * It sets up a context for validation, executes the validation process, and retrieves the summary of the validation.
+ *
+ * The validate method initializes a new SceneSummary instance, associates it with the current scene context,
+ * runs the validation process using the configured manager, and finally returns the generated summary.
+ *
+ * This class ensures that the validation logic is encapsulated and provides a clean interface for processing scenes.
+ */
+class SceneValidator {
+    constructor() {
+        this.mgr = new ScenePassMgr_1.ScenePassMgr({
+            passes: {
+                file: [Models_1.ArkFileValidator],
+                klass: [Models_1.ArkClassValidator],
+                method: [Models_1.ArkMethodValidator],
+            },
+            dispatcher: Validator_1.ArkValidatorRegistry,
+        });
+    }
+    validate(scene) {
+        let summary = new Validator_1.SceneSummary();
+        this.mgr.sceneContext().set(Validator_1.SceneSummary, summary);
+        this.mgr.run(scene);
+        logger.info('validate');
+        return this.mgr.sceneContext().remove(Validator_1.SceneSummary);
+    }
+}
+exports.SceneValidator = SceneValidator;

package/lib/pass/validators/Stmts.d.ts

@@ -0,0 +1,7 @@
+import { StmtValidator, SummaryReporter } from './Validator';
+import { ArkAssignStmt } from '../../core/base/Stmt';
+export declare class AssignStmtValidator extends StmtValidator<ArkAssignStmt> {
+    private static readonly INSTANCE;
+    validate(value: ArkAssignStmt, ctx: SummaryReporter): void;
+}
+//# sourceMappingURL=Stmts.d.ts.map

package/lib/pass/validators/Stmts.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Stmts.d.ts","sourceRoot":"","sources":["../../../src/pass/validators/Stmts.ts"],"names":[],"mappings":"AAeA,OAAO,EAAE,aAAa,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAC7D,OAAO,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AAMrD,qBAAa,mBAAoB,SAAQ,aAAa,CAAC,aAAa,CAAC;IACjE,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAA6B;IAE7D,QAAQ,CAAC,KAAK,EAAE,aAAa,EAAE,GAAG,EAAE,eAAe,GAAG,IAAI;CAY7D"}

package/lib/pass/validators/Stmts.js

@@ -0,0 +1,36 @@
+"use strict";
+/*
+ * Copyright (c) 2024-2025 Huawei Device Co., Ltd.
+ * Licensed under the Apache License, Version 2.0 (the "License");
+ * you may not use this file except in compliance with the License.
+ * You may obtain a copy of the License at
+ *
+ *     http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software
+ * distributed under the License is distributed on an "AS IS" BASIS,
+ * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ * See the License for the specific language governing permissions and
+ * limitations under the License.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.AssignStmtValidator = void 0;
+const Validator_1 = require("./Validator");
+const Stmt_1 = require("../../core/base/Stmt");
+const Ref_1 = require("../../core/base/Ref");
+const Local_1 = require("../../core/base/Local");
+class AssignStmtValidator extends Validator_1.StmtValidator {
+    validate(value, ctx) {
+        let left = value.getLeftOp();
+        if (!((left instanceof Local_1.Local) || (left instanceof Ref_1.AbstractFieldRef))) {
+            ctx.error(`must assign to local or field_ref`);
+        }
+    }
+}
+exports.AssignStmtValidator = AssignStmtValidator;
+AssignStmtValidator.INSTANCE = new AssignStmtValidator();
+(() => {
+    AssignStmtValidator.register([Stmt_1.ArkAssignStmt, (v, ctx, mtd) => {
+            AssignStmtValidator.INSTANCE.run(v, ctx, mtd);
+        }]);
+})();