1 package org.kit.furia.fragment.asm;
2
3 import java.util.Set;
4
5 import org.kit.furia.fragment.soot.HugeFragmentException;
6 import org.kit.furia.misc.IntegerHolder;
7 import org.objectweb.asm.tree.analysis.Value;
8
9 /*
10 Furia-chan: An Open Source software license violation detector.
11 Copyright (C) 2008 Kyushu Institute of Technology
12
13 This program is free software: you can redistribute it and/or modify
14 it under the terms of the GNU General Public License as published by
15 the Free Software Foundation, either version 3 of the License, or
16 (at your option) any later version.
17
18 This program is distributed in the hope that it will be useful,
19 but WITHOUT ANY WARRANTY; without even the implied warranty of
20 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
21 GNU General Public License for more details.
22
23 You should have received a copy of the GNU General Public License
24 along with this program. If not, see <http://www.gnu.org/licenses/>.
25 */
26
27 /**
28 * FValue defines additional properties than the properties defined by ASM's
29 * value required by Furia.
30 * @author Arnoldo Jose Muller Molina
31 */
32 public interface FValue extends Value {
33 /**
34 * This function returns the string representation of the given expression.
35 * @param result The resulting string representation of the given expression.
36 * @param visited A set used to control recursive references.
37 * @param count The number of "expansions" that have been executed.
38 * @param max The maximum number of expansions that will be executed.
39 */
40 void toFragment(StringBuilder result, Set visited, IntegerHolder count, int max) throws HugeFragmentException;
41 }