FlowKind.java

/*
 * Tai-e: A Static Analysis Framework for Java
 *
 * Copyright (C) 2022 Tian Tan <tiantan@nju.edu.cn>
 * Copyright (C) 2022 Yue Li <yueli@nju.edu.cn>
 *
 * This file is part of Tai-e.
 *
 * Tai-e is free software: you can redistribute it and/or modify
 * it under the terms of the GNU Lesser General Public License
 * as published by the Free Software Foundation, either version 3
 * of the License, or (at your option) any later version.
 *
 * Tai-e is distributed in the hope that it will be useful,but WITHOUT
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
 * or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General
 * Public License for more details.
 *
 * You should have received a copy of the GNU Lesser General Public
 * License along with Tai-e. If not, see <https://www.gnu.org/licenses/>.
 */

package pascal.taie.analysis.graph.flowgraph;

public enum FlowKind {
    LOCAL_ASSIGN,
    CAST,

    INSTANCE_LOAD,
    INSTANCE_STORE,

    ARRAY_LOAD,
    ARRAY_STORE,

    STATIC_LOAD,
    STATIC_STORE,

    THIS_PASSING,
    PARAMETER_PASSING,
    RETURN,

    // cut-shortcut
    ARG_TO_HOST, // container entrance method, for example, v.add(e), o \in pts(v), e -> host(o)
    HOST_TO_RESULT,
    SUBSET,
    CORRELATION,
    ARRAYCOPY,
    ID,
    VIRTUAL_ARRAY,
    VIRTUAL_ARG,
    SET, GET,
    NON_RELAY_GET, // relay edge

    OTHER,
}