Class RecordRewriter

java.lang.Object

org.benf.cfr.reader.bytecode.analysis.opgraph.op4rewriters.RecordRewriter

public class RecordRewriter
extends Object

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
(package private) static class	RecordRewriter.IsCanonicalConstructor
(package private) static class	RecordRewriter.ThisCheck

Field Summary

Fields

Modifier and Type	Field	Description
private static Set<AccessFlag>	recordFieldFlags
private static Set<AccessFlagMethod>	recordGetterFlags

Constructor Summary

Constructors

Constructor	Description
RecordRewriter()

Method Summary

Modifier and Type	Method	Description
private static boolean	classArgEq(Expression expression, JavaTypeInstance thisType)
private static boolean	cmpArgsEq(Expression cmpArgs, JavaTypeInstance thisType, List<ClassFileField> instances)
private static ClassFileField	getCFF(LValue lhs, JavaRefTypeInstance thisType)
private static Method	getMethod(ClassFile classFile, List<JavaTypeInstance> args, String name)
private static StructuredStatement	getSingleCodeLine(Method method)
private static void	hideConstructorIfEmpty(Method canonicalCons)
private static void	hideDefaultGetter(Method method, ClassFileField classFileField, JavaRefTypeInstance thisType)
private static void	hideDefaultUtilityMethods(ClassFile classFile, JavaTypeInstance thisType, List<ClassFileField> instances)
private static void	hideEquals(ClassFile classFile, JavaTypeInstance thisType, List<ClassFileField> fields)
private static void	hideHashCode(ClassFile classFile, JavaTypeInstance thisType, List<ClassFileField> fields)
private static void	hideIfMatch(JavaTypeInstance thisType, List<ClassFileField> fields, Method method, WildcardMatch wcm, StructuredStatement stm)
private static void	hideToString(ClassFile classFile, JavaTypeInstance thisType, List<ClassFileField> fields)
private static boolean	methodHandleEq(Expression expression, String name)
private static boolean	removeImplicitAssignments(Method canonicalCons, List<ClassFileField> instances, JavaRefTypeInstance thisType)
static void	rewrite(ClassFile classFile, DCCommonState state)
private static boolean	rewriteIfRecord(ClassFile classFile, DCCommonState state)
private static boolean	stringArgEq(Expression expression, String name)

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

recordFieldFlags

private static Set<AccessFlag> recordFieldFlags

recordGetterFlags

private static Set<AccessFlagMethod> recordGetterFlags

Constructor Details

RecordRewriter

public RecordRewriter()

Method Details

rewrite

public static void rewrite(ClassFile classFile,
 DCCommonState state)

rewriteIfRecord

private static boolean rewriteIfRecord(ClassFile classFile,
 DCCommonState state)

hideDefaultUtilityMethods

private static void hideDefaultUtilityMethods(ClassFile classFile,
 JavaTypeInstance thisType,
 List<ClassFileField> instances)

hideEquals

private static void hideEquals(ClassFile classFile,
 JavaTypeInstance thisType,
 List<ClassFileField> fields)

hideToString

private static void hideToString(ClassFile classFile,
 JavaTypeInstance thisType,
 List<ClassFileField> fields)

hideHashCode

private static void hideHashCode(ClassFile classFile,
 JavaTypeInstance thisType,
 List<ClassFileField> fields)

hideIfMatch

private static void hideIfMatch(JavaTypeInstance thisType,
 List<ClassFileField> fields,
 Method method,
 WildcardMatch wcm,
 StructuredStatement stm)

stringArgEq

private static boolean stringArgEq(Expression expression,
 String name)

methodHandleEq

private static boolean methodHandleEq(Expression expression,
 String name)

classArgEq

private static boolean classArgEq(Expression expression,
 JavaTypeInstance thisType)

cmpArgsEq

private static boolean cmpArgsEq(Expression cmpArgs,
 JavaTypeInstance thisType,
 List<ClassFileField> instances)

getMethod

private static Method getMethod(ClassFile classFile,
 List<JavaTypeInstance> args,
 String name)

getSingleCodeLine

private static StructuredStatement getSingleCodeLine(Method method)

hideDefaultGetter

private static void hideDefaultGetter(Method method,
 ClassFileField classFileField,
 JavaRefTypeInstance thisType)

hideConstructorIfEmpty

private static void hideConstructorIfEmpty(Method canonicalCons)

removeImplicitAssignments

private static boolean removeImplicitAssignments(Method canonicalCons,
 List<ClassFileField> instances,
 JavaRefTypeInstance thisType)

getCFF

private static ClassFileField getCFF(LValue lhs,
 JavaRefTypeInstance thisType)