23738394059

Committed 30 Mar 2026 09:44AM UTC coverage: 52.067% (+0.03%) from 52.039%

Build # 23738394059

Build Type

Pull #206

github

Committed by

web-flow

Commit Message

Merge 693daddfb into d564a6404

Pull Request Pull Request #206: Array support

Run Details

1973 of 3976 branches covered (49.62%)

Branch coverage included in aggregate %.

87 of 138 new or added lines in 5 files covered. (63.04%)

2 existing lines in 1 file now uncovered.

4388 of 8241 relevant lines covered (53.25%)

2.15 hits per line

Source File
Press 'n' to go to next uncovered line, 'b' for previous

83.33

/app/src/main/java/fr/inria/verveine/extractor/java/visitors/refvisitors/AbstractRefVisitor.java

package fr.inria.verveine.extractor.java.visitors.refvisitors;

import fr.inria.verveine.extractor.java.EntityDictionary;
import fr.inria.verveine.extractor.java.VerveineJOptions;
import fr.inria.verveine.extractor.java.visitors.GetVisitedEntityAbstractVisitor;

import org.apache.commons.math3.random.CorrelatedRandomVectorGenerator;
import org.eclipse.jdt.core.dom.*;
import org.moosetechnology.model.famix.famixjavaentities.ContainerEntity;
import org.moosetechnology.model.famix.famixjavaentities.ParametricClass;
import org.moosetechnology.model.famix.famixjavaentities.ParametricInterface;
import org.moosetechnology.model.famix.famixjavaentities.TypeParameter;
import org.moosetechnology.model.famix.famixtraits.TNamedEntity;
import org.moosetechnology.model.famix.famixtraits.TParametricEntity;
import org.moosetechnology.model.famix.famixtraits.TType;
import org.moosetechnology.model.famix.famixtraits.TWithTypes;

/**
 * A collection of useful utility methods that are needed in various ref visitors
 */
public class AbstractRefVisitor extends GetVisitedEntityAbstractVisitor {

        public AbstractRefVisitor(EntityDictionary dico, VerveineJOptions options) {
                super(dico, options);
        }

        @Deprecated
        protected String findTypeName(org.eclipse.jdt.core.dom.Type t) {
                return dico.findTypeName(t);
        }

        /**
         * Ensures the proper creation of a FamixType for JDT typ in the given context.
         * Useful for parameterizedTypes, or classInstance.
         *
         * @param isClass we are sure that the type is actually a class
         * @return a famix type or null
         */
        @Deprecated
        protected <T extends TWithTypes & TNamedEntity> TType referredType(Type typ, T ctxt, boolean isClass) {
                return dico.referredType(typ, ctxt, isClass);
        }

        /**
         * Ensures the proper creation of a FamixType for JDT type in the given context.
         * Useful for parameterizedTypes, or classInstance.
         *
         * @param isClass we are sure that the type is actually a class
         * @return a famix type or null
         */
        @Deprecated
        protected <T extends TWithTypes & TNamedEntity> TType referredType(Type typ, T ctxt, boolean isClass, boolean isException) {
                return dico.referredType(typ, ctxt, isClass, isException);
        }

        @Deprecated
        protected TType referredType(ITypeBinding bnd, TNamedEntity ctxt, boolean isClass) {
                return dico.referredType(bnd, ctxt);
        }

}

1	package fr.inria.verveine.extractor.java.visitors.refvisitors;
2
3	import fr.inria.verveine.extractor.java.EntityDictionary;
4	import fr.inria.verveine.extractor.java.VerveineJOptions;
5	import fr.inria.verveine.extractor.java.visitors.GetVisitedEntityAbstractVisitor;
6
7	import org.apache.commons.math3.random.CorrelatedRandomVectorGenerator;
8	import org.eclipse.jdt.core.dom.*;
9	import org.moosetechnology.model.famix.famixjavaentities.ContainerEntity;
10	import org.moosetechnology.model.famix.famixjavaentities.ParametricClass;
11	import org.moosetechnology.model.famix.famixjavaentities.ParametricInterface;
12	import org.moosetechnology.model.famix.famixjavaentities.TypeParameter;
13	import org.moosetechnology.model.famix.famixtraits.TNamedEntity;
14	import org.moosetechnology.model.famix.famixtraits.TParametricEntity;
15	import org.moosetechnology.model.famix.famixtraits.TType;
16	import org.moosetechnology.model.famix.famixtraits.TWithTypes;
17
18	/**
19	* A collection of useful utility methods that are needed in various ref visitors
20	*/
21	public class AbstractRefVisitor extends GetVisitedEntityAbstractVisitor {
22
23	public AbstractRefVisitor(EntityDictionary dico, VerveineJOptions options) {
24	super(dico, options);	4✔
25	}	1✔
26
27	@Deprecated
28	protected String findTypeName(org.eclipse.jdt.core.dom.Type t) {
NEW 29	return dico.findTypeName(t);	×
30	}
31
32	/**
33	* Ensures the proper creation of a FamixType for JDT typ in the given context.
34	* Useful for parameterizedTypes, or classInstance.
35	*
36	* @param isClass we are sure that the type is actually a class
37	* @return a famix type or null
38	*/
39	@Deprecated
40	protected <T extends TWithTypes & TNamedEntity> TType referredType(Type typ, T ctxt, boolean isClass) {
41	return dico.referredType(typ, ctxt, isClass);	7✔
42	}
43
44	/**
45	* Ensures the proper creation of a FamixType for JDT type in the given context.
46	* Useful for parameterizedTypes, or classInstance.
47	*
48	* @param isClass we are sure that the type is actually a class
49	* @return a famix type or null
50	*/
51	@Deprecated
52	protected <T extends TWithTypes & TNamedEntity> TType referredType(Type typ, T ctxt, boolean isClass, boolean isException) {
53	return dico.referredType(typ, ctxt, isClass, isException);	8✔
54	}
55
56	@Deprecated
57	protected TType referredType(ITypeBinding bnd, TNamedEntity ctxt, boolean isClass) {
58	return dico.referredType(bnd, ctxt);	6✔
59	}
60
61	}

moosetechnology / VerveineJ / 23738394059

Source File Press 'n' to go to next uncovered line, 'b' for previous

Source File
Press 'n' to go to next uncovered line, 'b' for previous