Exemple #1
0
        public bool Add(VariableWrapper varW, HeapElemWrapper allocW)
        {
            int[] iarr = new int[2];

            iarr[0] = ProgramDoms.domV.IndexOf(varW);
            if (iarr[0] == -1)
            {
                return(false);
            }
            iarr[1] = ProgramDoms.domH.IndexOf(allocW);
            if (iarr[1] == -1)
            {
                return(false);
            }
            return(base.Add(iarr));
        }
Exemple #2
0
        public bool Add(HeapElemWrapper allocW1, FieldRefWrapper fldRefW, HeapElemWrapper allocW2)
        {
            int[] iarr = new int[2];

            iarr[0] = ProgramDoms.domH.IndexOf(allocW1);
            if (iarr[0] == -1)
            {
                return(false);
            }
            iarr[1] = ProgramDoms.domH.IndexOf(allocW2);
            if (iarr[1] == -1)
            {
                return(false);
            }
            return(base.Add(iarr));
        }
Exemple #3
0
        public bool Add(HeapElemWrapper allocW, TypeRefWrapper typRefW)
        {
            int[] iarr = new int[2];

            iarr[0] = ProgramDoms.domH.IndexOf(allocW);
            if (iarr[0] == -1)
            {
                return(false);
            }
            iarr[1] = ProgramDoms.domT.IndexOf(typRefW);
            if (iarr[1] == -1)
            {
                return(false);
            }

            return(base.Add(iarr));
        }
Exemple #4
0
        public bool Add(InstructionWrapper invkW, VariableWrapper argW, HeapElemWrapper hpW)
        {
            int[] iarr = new int[3];

            iarr[0] = ProgramDoms.domI.IndexOf(invkW);
            if (iarr[0] == -1)
            {
                return(false);
            }
            iarr[1] = ProgramDoms.domV.IndexOf(argW);
            if (iarr[1] == -1)
            {
                return(false);
            }
            iarr[2] = ProgramDoms.domH.IndexOf(hpW);
            if (iarr[2] == -1)
            {
                return(false);
            }
            return(base.Add(iarr));
        }
Exemple #5
0
        public bool Add(HeapElemWrapper allocW, FieldRefWrapper fldRefW, AddressWrapper addrW)
        {
            int[] iarr = new int[3];

            iarr[0] = ProgramDoms.domH.IndexOf(allocW);
            if (iarr[0] == -1)
            {
                return(false);
            }
            iarr[1] = ProgramDoms.domF.IndexOf(fldRefW);
            if (iarr[1] == -1)
            {
                return(false);
            }
            iarr[2] = ProgramDoms.domX.IndexOf(addrW);
            if (iarr[2] == -1)
            {
                return(false);
            }
            return(base.Add(iarr));
        }
Exemple #6
0
        public bool Add(MethodRefWrapper mRefW, VariableWrapper lhsW, HeapElemWrapper allocW)
        {
            int[] iarr = new int[3];

            iarr[0] = ProgramDoms.domM.IndexOf(mRefW);
            if (iarr[0] == -1)
            {
                return(false);
            }
            iarr[1] = ProgramDoms.domV.IndexOf(lhsW);
            if (iarr[1] == -1)
            {
                return(false);
            }
            iarr[2] = ProgramDoms.domH.IndexOf(allocW);
            if (iarr[2] == -1)
            {
                return(false);
            }
            return(base.Add(iarr));
        }
Exemple #7
0
        public bool Add(MethodRefWrapper methW, HeapElemWrapper arrW1, FieldRefWrapper fldRefW, HeapElemWrapper elemW2)
        {
            int[] iarr = new int[4];

            iarr[0] = ProgramDoms.domM.IndexOf(methW);
            if (iarr[0] == -1)
            {
                return(false);
            }
            iarr[1] = ProgramDoms.domH.IndexOf(arrW1);
            if (iarr[1] == -1)
            {
                return(false);
            }
            iarr[2] = ProgramDoms.domF.IndexOf(fldRefW);
            if (iarr[2] == -1)
            {
                return(false);
            }
            iarr[3] = ProgramDoms.domH.IndexOf(elemW2);
            if (iarr[3] == -1)
            {
                return(false);
            }
            return(base.Add(iarr));
        }