Class Op02WithProcessedDataAndRefs

java.lang.Object

org.benf.cfr.reader.bytecode.analysis.opgraph.Op02WithProcessedDataAndRefs

All Implemented Interfaces:

Graph<Op02WithProcessedDataAndRefs>, Dumpable

public class Op02WithProcessedDataAndRefs
extends Object
implements Dumpable, Graph<Op02WithProcessedDataAndRefs>

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
private static class	Op02WithProcessedDataAndRefs.ExceptionTempStatement
private static class	Op02WithProcessedDataAndRefs.IdentFactory

Field Summary

Fields

Modifier and Type	Field	Description
private List<ExceptionGroup.Entry>	catchExceptionGroups
private List<BlockIdentifier>	containedInTheseBlocks
private final ConstantPool	cp
private final ConstantPoolEntry[]	cpEntries
private List<ExceptionGroup>	exceptionGroups
private boolean	hasCatchParent
private InstrIndex	index
private JVMInstr	instr
private final BytecodeLoc	loc
private Map<Integer,Ident>	localVariablesBySlot
private static final Logger	logger
private final int	originalRawOffset
private final byte[]	rawData
private final List<Op02WithProcessedDataAndRefs>	sources
private SSAIdentifiers<Slot>	ssaIdentifiers
private final List<StackEntryHolder>	stackConsumed
private long	stackDepthAfterExecution
private long	stackDepthBeforeExecution
private final List<StackEntryHolder>	stackProduced
private final List<Op02WithProcessedDataAndRefs>	targets
private StackSim	unconsumedJoinedStack

Constructor Summary

Constructors

Modifier	Constructor	Description
private	Op02WithProcessedDataAndRefs(Op02WithProcessedDataAndRefs other)
	Op02WithProcessedDataAndRefs(JVMInstr instr, byte[] rawData, int index, ConstantPool cp, ConstantPoolEntry[] cpEntries, int originalRawOffset, BytecodeLoc loc)
	Op02WithProcessedDataAndRefs(JVMInstr instr, byte[] rawData, InstrIndex index, ConstantPool cp, ConstantPoolEntry[] cpEntries, int originalRawOffset, BytecodeLoc loc)

Method Summary

Modifier and Type	Method	Description
void	addSource(Op02WithProcessedDataAndRefs node)
void	addTarget(Op02WithProcessedDataAndRefs node)
private static Op02WithProcessedDataAndRefs	adjustOrdering(Map<InstrIndex, List<Op02WithProcessedDataAndRefs.ExceptionTempStatement>> insertions, Op02WithProcessedDataAndRefs infrontOf, ExceptionGroup exceptionGroup, Op02WithProcessedDataAndRefs newNode)
private static NavigableMap<Integer, JavaTypeInstance>	assignIdentsAndGetMissingMap(SSAIdentifierFactory<Slot, StackType> ssaIdentifierFactory, Method method, List<Op02WithProcessedDataAndRefs> statements, BytecodeMeta bytecodeMeta, boolean useProtoArgs)
private static void	assignSSAIdentifiers(SSAIdentifierFactory<Slot, StackType> ssaIdentifierFactory, Method method, DecompilerComments comments, List<Op02WithProcessedDataAndRefs> statements, BytecodeMeta bytecodeMeta)
private static void	assignSSAIdentifiersInner(SSAIdentifierFactory<Slot, StackType> ssaIdentifierFactory, Method method, List<Op02WithProcessedDataAndRefs> statements, BytecodeMeta bytecodeMeta, boolean useProtoArgs)
private Statement	buildInvoke(Method thisCallerMethod)
private List<Expression>	buildInvokeBootstrapArgs(MethodPrototype prototype, MethodPrototype dynamicPrototype, MethodHandleBehaviour bootstrapBehaviour, BootstrapMethodInfo bootstrapMethodInfo, ConstantPoolEntryMethodRef methodRef, boolean showBoilerArgs, ClassFile classFile, DCCommonState state, DecompilerComments comments)
private Statement	buildInvokeDynamic(ClassFile classFile, DCCommonState dcCommonState, String name, MethodPrototype dynamicPrototype, int idx, boolean showBoilerArgs, DecompilerComments comments)
private Statement	buildInvokeDynamic(Method method, DCCommonState dcCommonState, DecompilerComments comments)
private List<Expression>	buildInvokeDynamicAltMetaFactoryArgs(MethodPrototype prototype, MethodPrototype dynamicPrototype, MethodHandleBehaviour bootstrapBehaviour, BootstrapMethodInfo bootstrapMethodInfo, ConstantPoolEntryMethodRef methodRef, List<JavaTypeInstance> markerTypes)
private List<Expression>	buildInvokeDynamicMetaFactoryArgs(MethodPrototype prototype, MethodPrototype dynamicPrototype, MethodHandleBehaviour bootstrapBehaviour, BootstrapMethodInfo bootstrapMethodInfo, ConstantPoolEntryMethodRef methodRef)
private void	collectLocallyMutatedVariables(SSAIdentifierFactory<Slot, StackType> ssaIdentifierFactory)
static List<Op03SimpleStatement>	convertToOp03List(List<Op02WithProcessedDataAndRefs> op2list, Method method, VariableFactory variableFactory, BlockIdentifierFactory blockIdentifierFactory, DCCommonState dcCommonState, DecompilerComments comments, TypeHintRecovery typeHintRecovery)
private static List<Op02WithProcessedDataAndRefs>	copyBlock(List<Op02WithProcessedDataAndRefs> orig, InstrIndex afterThis)
private static Map<SSAIdent, Set<SSAIdent>>	createReverseMap(Map<SSAIdent, Set<SSAIdent>> downMap)
private Statement	createStatement(Method method, DecompilerComments comments, VariableFactory variableFactory, BlockIdentifierFactory blockIdentifierFactory, DCCommonState dcCommonState, TypeHintRecovery typeHintRecovery)
private JavaTypeInstance	determineDynamicGeneric(JavaTypeInstance callsiteReturn, MethodPrototype proto, Expression instantiated, DCCommonState dcCommonState)
static void	discoverStorageLiveness(Method method, DecompilerComments comments, List<Op02WithProcessedDataAndRefs> op2list, BytecodeMeta bytecodeMeta)
Dumper	dump(Dumper d)
private static Expression	ensureNonBool(Expression e)
private static Op02WithProcessedDataAndRefs	followNopGoto(Op02WithProcessedDataAndRefs op)
private static TypedLiteral	getBootstrapArg(ConstantPoolEntry[] bootstrapArguments, int x, ConstantPool cp)
BytecodeLoc	getBytecodeLoc()
List<BlockIdentifier>	getContainedInTheseBlocks()
ConstantPool	getCp()
ConstantPoolEntry[]	getCpEntries()
private Expression	getDynamicLiteral(Method method, ConstantPoolEntryDynamicInfo cpe, DecompilerComments comments)
Pair<Integer,Integer>	getIincInfo()
InstrIndex	getIndex()
JVMInstr	getInstr()
private int	getInstrArgByte(int index)
private int	getInstrArgShort(int index)
private int	getInstrArgU1(int index)
private static Map<Op02WithProcessedDataAndRefs, List<Op02WithProcessedDataAndRefs>>	getJsrsWithCommonTarget(List<Op02WithProcessedDataAndRefs> jsrs)
private static int	getLastIndex(Map<Integer,Integer> lutByOffset, int op2count, long codeLength, int offset)
private Expression	getLiteralConstantPoolEntry(Method m, ConstantPoolEntry cpe, DecompilerComments comments)
private Expression	getMethodHandleLiteral(ConstantPoolEntryMethodHandle cpe)
private Expression	getMethodTypeLiteral(ConstantPoolEntryMethodType cpe)
private List<Expression>	getNStackRValuesAsExpressions(int count)
private static List<Boolean>	getNullsByType(List<Expression> expressions)
int	getOriginalRawOffset()
Integer	getRetrieveIdx()
Pair<JavaTypeInstance, Integer>	getRetrieveType()
private ExceptionGroup	getSingleExceptionGroup()
List<Op02WithProcessedDataAndRefs>	getSources()
private LValue	getStackLValue(int idx)
private StackValue	getStackRValue(int idx)
Pair<JavaTypeInstance, Integer>	getStorageType()
Integer	getStoreIdx()
List<Op02WithProcessedDataAndRefs>	getTargets()
private List<Expression>	getVarArgs(JavaTypeInstance last, ConstantPoolEntry[] bootstrapArguments)
private static void	inlineJSR(Op02WithProcessedDataAndRefs start, Set<Op02WithProcessedDataAndRefs> nodes, List<Op02WithProcessedDataAndRefs> ops)
private static void	inlineReplaceJSR(Op02WithProcessedDataAndRefs jsrCall, List<Op02WithProcessedDataAndRefs> ops)
static List<Op02WithProcessedDataAndRefs>	insertExceptionBlocks(List<Op02WithProcessedDataAndRefs> op2list, ExceptionAggregator exceptions, Map<Integer,Integer> lutByOffset, ConstantPool cp, long codeLength, Options options)
private static boolean	isJSR(Op02WithProcessedDataAndRefs op)
private static boolean	isRET(Op02WithProcessedDataAndRefs op)
private static List<Op02WithProcessedDataAndRefs>	justJSRs(List<Op02WithProcessedDataAndRefs> ops)
private void	mapSSASlots(Map<Pair<Slot,SSAIdent>, Ident> identmap)
private Statement	mkAssign(VariableFactory variableFactory)
private Statement	mkRetrieve(VariableFactory variableFactory)
void	nop()
static DecompilerComment	populateStackInfo(List<Op02WithProcessedDataAndRefs> op2list, Method method)
private void	populateStackInfo(StackSim stackSim, Method method, Set<DecompilerComment> comments, LinkedList<Pair<StackSim, Op02WithProcessedDataAndRefs>> next)
static boolean	processJSR(List<Op02WithProcessedDataAndRefs> ops)
private static void	processJSRs(List<Op02WithProcessedDataAndRefs> jsrs, List<Op02WithProcessedDataAndRefs> ops)
void	removeSource(Op02WithProcessedDataAndRefs oldSource)
private void	removeTarget(Op02WithProcessedDataAndRefs node)
private static void	removeUnusedSSAIdentifiers(SSAIdentifierFactory<Slot, StackType> ssaIdentifierFactory, Method method, List<Op02WithProcessedDataAndRefs> op2list)
static void	replace(Op02WithProcessedDataAndRefs oldOp, Op02WithProcessedDataAndRefs newOp)
void	replaceInstr(JVMInstr newInstr)
void	replaceSource(Op02WithProcessedDataAndRefs oldSource, Op02WithProcessedDataAndRefs newSource)
void	replaceTarget(Op02WithProcessedDataAndRefs oldTarget, Op02WithProcessedDataAndRefs newTarget)
private void	resetStackInfo()
void	setIndex(InstrIndex index)
private static boolean	SimulateJSR(Op02WithProcessedDataAndRefs start, List<Op02WithProcessedDataAndRefs> ops)
private static void	tidyMultipleInsertionIdentifiers(Collection<List<Op02WithProcessedDataAndRefs.ExceptionTempStatement>> etsList)
private static void	tieUpRelations(List<Op02WithProcessedDataAndRefs> out, List<Op02WithProcessedDataAndRefs> in, Map<Op02WithProcessedDataAndRefs, Op02WithProcessedDataAndRefs> map)
String	toString()
static void	unlinkUnreachable(List<Op02WithProcessedDataAndRefs> op2list)

Methods inherited from class Object

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

Field Details

logger

private static final Logger logger

index

private InstrIndex index

instr

private JVMInstr instr

originalRawOffset

private final int originalRawOffset

loc

private final BytecodeLoc loc

rawData

private final byte[] rawData

containedInTheseBlocks

private List<BlockIdentifier> containedInTheseBlocks

exceptionGroups

private List<ExceptionGroup> exceptionGroups

catchExceptionGroups

private List<ExceptionGroup.Entry> catchExceptionGroups

targets

private final List<Op02WithProcessedDataAndRefs> targets

sources

private final List<Op02WithProcessedDataAndRefs> sources

cp

private final ConstantPool cp

cpEntries

private final ConstantPoolEntry[] cpEntries

stackDepthBeforeExecution

private long stackDepthBeforeExecution

stackDepthAfterExecution

private long stackDepthAfterExecution

stackConsumed

private final List<StackEntryHolder> stackConsumed

stackProduced

private final List<StackEntryHolder> stackProduced

unconsumedJoinedStack

private StackSim unconsumedJoinedStack

hasCatchParent

private boolean hasCatchParent

ssaIdentifiers

private SSAIdentifiers<Slot> ssaIdentifiers

localVariablesBySlot

private Map<Integer,Ident> localVariablesBySlot

Constructor Details

Op02WithProcessedDataAndRefs

private Op02WithProcessedDataAndRefs(Op02WithProcessedDataAndRefs other)

Op02WithProcessedDataAndRefs

public Op02WithProcessedDataAndRefs(JVMInstr instr,
 byte[] rawData,
 int index,
 ConstantPool cp,
 ConstantPoolEntry[] cpEntries,
 int originalRawOffset,
 BytecodeLoc loc)

Op02WithProcessedDataAndRefs

public Op02WithProcessedDataAndRefs(JVMInstr instr,
 byte[] rawData,
 InstrIndex index,
 ConstantPool cp,
 ConstantPoolEntry[] cpEntries,
 int originalRawOffset,
 BytecodeLoc loc)

Method Details

resetStackInfo

private void resetStackInfo()

getIndex

public InstrIndex getIndex()

setIndex

public void setIndex(InstrIndex index)

addTarget

public void addTarget(Op02WithProcessedDataAndRefs node)

removeTarget

private void removeTarget(Op02WithProcessedDataAndRefs node)

addSource

public void addSource(Op02WithProcessedDataAndRefs node)

getInstr

public JVMInstr getInstr()

replaceTarget

public void replaceTarget(Op02WithProcessedDataAndRefs oldTarget,
 Op02WithProcessedDataAndRefs newTarget)

replaceSource

public void replaceSource(Op02WithProcessedDataAndRefs oldSource,
 Op02WithProcessedDataAndRefs newSource)

removeSource

public void removeSource(Op02WithProcessedDataAndRefs oldSource)

getInstrArgByte

private int getInstrArgByte(int index)

getInstrArgU1

private int getInstrArgU1(int index)

getInstrArgShort

private int getInstrArgShort(int index)

getTargets

public List<Op02WithProcessedDataAndRefs> getTargets()

Specified by:

getTargets in interface Graph<Op02WithProcessedDataAndRefs>

getSources

public List<Op02WithProcessedDataAndRefs> getSources()

Specified by:

getSources in interface Graph<Op02WithProcessedDataAndRefs>

getCpEntries

public ConstantPoolEntry[] getCpEntries()

populateStackInfo

private void populateStackInfo(StackSim stackSim,
 Method method,
 Set<DecompilerComment> comments,
 LinkedList<Pair<StackSim, Op02WithProcessedDataAndRefs>> next)

getSingleExceptionGroup

private ExceptionGroup getSingleExceptionGroup()

dump

public Dumper dump(Dumper d)

Specified by:

dump in interface Dumpable

getNullsByType

private static List<Boolean> getNullsByType(List<Expression> expressions)

buildInvoke

private Statement buildInvoke(Method thisCallerMethod)

buildInvokeDynamic

private Statement buildInvokeDynamic(Method method,
 DCCommonState dcCommonState,
 DecompilerComments comments)

buildInvokeDynamic

private Statement buildInvokeDynamic(ClassFile classFile,
 DCCommonState dcCommonState,
 String name,
 MethodPrototype dynamicPrototype,
 int idx,
 boolean showBoilerArgs,
 DecompilerComments comments)

determineDynamicGeneric

private JavaTypeInstance determineDynamicGeneric(JavaTypeInstance callsiteReturn,
 MethodPrototype proto,
 Expression instantiated,
 DCCommonState dcCommonState)

getBootstrapArg

private static TypedLiteral getBootstrapArg(ConstantPoolEntry[] bootstrapArguments,
 int x,
 ConstantPool cp)

buildInvokeDynamicAltMetaFactoryArgs

private List<Expression> buildInvokeDynamicAltMetaFactoryArgs(MethodPrototype prototype,
 MethodPrototype dynamicPrototype,
 MethodHandleBehaviour bootstrapBehaviour,
 BootstrapMethodInfo bootstrapMethodInfo,
 ConstantPoolEntryMethodRef methodRef,
 List<JavaTypeInstance> markerTypes)

buildInvokeBootstrapArgs

private List<Expression> buildInvokeBootstrapArgs(MethodPrototype prototype,
 MethodPrototype dynamicPrototype,
 MethodHandleBehaviour bootstrapBehaviour,
 BootstrapMethodInfo bootstrapMethodInfo,
 ConstantPoolEntryMethodRef methodRef,
 boolean showBoilerArgs,
 ClassFile classFile,
 DCCommonState state,
 DecompilerComments comments)

getVarArgs

private List<Expression> getVarArgs(JavaTypeInstance last,
 ConstantPoolEntry[] bootstrapArguments)

buildInvokeDynamicMetaFactoryArgs

private List<Expression> buildInvokeDynamicMetaFactoryArgs(MethodPrototype prototype,
 MethodPrototype dynamicPrototype,
 MethodHandleBehaviour bootstrapBehaviour,
 BootstrapMethodInfo bootstrapMethodInfo,
 ConstantPoolEntryMethodRef methodRef)

getRetrieveType

public Pair<JavaTypeInstance, Integer> getRetrieveType()

getRetrieveIdx

public Integer getRetrieveIdx()

getStorageType

public Pair<JavaTypeInstance, Integer> getStorageType()

getStoreIdx

public Integer getStoreIdx()

mkAssign

private Statement mkAssign(VariableFactory variableFactory)

mkRetrieve

private Statement mkRetrieve(VariableFactory variableFactory)

ensureNonBool

private static Expression ensureNonBool(Expression e)

createStatement

private Statement createStatement(Method method,
 DecompilerComments comments,
 VariableFactory variableFactory,
 BlockIdentifierFactory blockIdentifierFactory,
 DCCommonState dcCommonState,
 TypeHintRecovery typeHintRecovery)

getIincInfo

public Pair<Integer,Integer> getIincInfo()

getLiteralConstantPoolEntry

private Expression getLiteralConstantPoolEntry(Method m,
 ConstantPoolEntry cpe,
 DecompilerComments comments)

getMethodTypeLiteral

private Expression getMethodTypeLiteral(ConstantPoolEntryMethodType cpe)

getMethodHandleLiteral

private Expression getMethodHandleLiteral(ConstantPoolEntryMethodHandle cpe)

getDynamicLiteral

private Expression getDynamicLiteral(Method method,
 ConstantPoolEntryDynamicInfo cpe,
 DecompilerComments comments)

getStackRValue

private StackValue getStackRValue(int idx)

getStackLValue

private LValue getStackLValue(int idx)

getNStackRValuesAsExpressions

private List<Expression> getNStackRValuesAsExpressions(int count)

toString

public String toString()

Overrides:

toString in class Object

populateStackInfo

public static DecompilerComment populateStackInfo(List<Op02WithProcessedDataAndRefs> op2list,
 Method method)

unlinkUnreachable

public static void unlinkUnreachable(List<Op02WithProcessedDataAndRefs> op2list)

nop

public void nop()

replaceInstr

public void replaceInstr(JVMInstr newInstr)

collectLocallyMutatedVariables

private void collectLocallyMutatedVariables(SSAIdentifierFactory<Slot, StackType> ssaIdentifierFactory)

assignSSAIdentifiers

private static void assignSSAIdentifiers(SSAIdentifierFactory<Slot, StackType> ssaIdentifierFactory,
 Method method,
 DecompilerComments comments,
 List<Op02WithProcessedDataAndRefs> statements,
 BytecodeMeta bytecodeMeta)

assignIdentsAndGetMissingMap

private static NavigableMap<Integer, JavaTypeInstance> assignIdentsAndGetMissingMap(SSAIdentifierFactory<Slot, StackType> ssaIdentifierFactory,
 Method method,
 List<Op02WithProcessedDataAndRefs> statements,
 BytecodeMeta bytecodeMeta,
 boolean useProtoArgs)

assignSSAIdentifiersInner

private static void assignSSAIdentifiersInner(SSAIdentifierFactory<Slot, StackType> ssaIdentifierFactory,
 Method method,
 List<Op02WithProcessedDataAndRefs> statements,
 BytecodeMeta bytecodeMeta,
 boolean useProtoArgs)

removeUnusedSSAIdentifiers

private static void removeUnusedSSAIdentifiers(SSAIdentifierFactory<Slot, StackType> ssaIdentifierFactory,
 Method method,
 List<Op02WithProcessedDataAndRefs> op2list)

discoverStorageLiveness

public static void discoverStorageLiveness(Method method,
 DecompilerComments comments,
 List<Op02WithProcessedDataAndRefs> op2list,
 BytecodeMeta bytecodeMeta)

mapSSASlots

private void mapSSASlots(Map<Pair<Slot,SSAIdent>, Ident> identmap)

getCp

public ConstantPool getCp()

getOriginalRawOffset

public int getOriginalRawOffset()

getBytecodeLoc

public BytecodeLoc getBytecodeLoc()

createReverseMap

private static Map<SSAIdent, Set<SSAIdent>> createReverseMap(Map<SSAIdent, Set<SSAIdent>> downMap)

convertToOp03List

public static List<Op03SimpleStatement> convertToOp03List(List<Op02WithProcessedDataAndRefs> op2list,
 Method method,
 VariableFactory variableFactory,
 BlockIdentifierFactory blockIdentifierFactory,
 DCCommonState dcCommonState,
 DecompilerComments comments,
 TypeHintRecovery typeHintRecovery)

adjustOrdering

private static Op02WithProcessedDataAndRefs adjustOrdering(Map<InstrIndex, List<Op02WithProcessedDataAndRefs.ExceptionTempStatement>> insertions,
 Op02WithProcessedDataAndRefs infrontOf,
 ExceptionGroup exceptionGroup,
 Op02WithProcessedDataAndRefs newNode)

tidyMultipleInsertionIdentifiers

private static void tidyMultipleInsertionIdentifiers(Collection<List<Op02WithProcessedDataAndRefs.ExceptionTempStatement>> etsList)

getLastIndex

private static int getLastIndex(Map<Integer,Integer> lutByOffset,
 int op2count,
 long codeLength,
 int offset)

insertExceptionBlocks

public static List<Op02WithProcessedDataAndRefs> insertExceptionBlocks(List<Op02WithProcessedDataAndRefs> op2list,
 ExceptionAggregator exceptions,
 Map<Integer,Integer> lutByOffset,
 ConstantPool cp,
 long codeLength,
 Options options)

getContainedInTheseBlocks

public List<BlockIdentifier> getContainedInTheseBlocks()

isJSR

private static boolean isJSR(Op02WithProcessedDataAndRefs op)

isRET

private static boolean isRET(Op02WithProcessedDataAndRefs op)

processJSR

public static boolean processJSR(List<Op02WithProcessedDataAndRefs> ops)

justJSRs

private static List<Op02WithProcessedDataAndRefs> justJSRs(List<Op02WithProcessedDataAndRefs> ops)

followNopGoto

private static Op02WithProcessedDataAndRefs followNopGoto(Op02WithProcessedDataAndRefs op)

processJSRs

private static void processJSRs(List<Op02WithProcessedDataAndRefs> jsrs,
 List<Op02WithProcessedDataAndRefs> ops)

getJsrsWithCommonTarget

private static Map<Op02WithProcessedDataAndRefs, List<Op02WithProcessedDataAndRefs>> getJsrsWithCommonTarget(List<Op02WithProcessedDataAndRefs> jsrs)

SimulateJSR

private static boolean SimulateJSR(Op02WithProcessedDataAndRefs start,
 List<Op02WithProcessedDataAndRefs> ops)

inlineReplaceJSR

private static void inlineReplaceJSR(Op02WithProcessedDataAndRefs jsrCall,
 List<Op02WithProcessedDataAndRefs> ops)

inlineJSR

private static void inlineJSR(Op02WithProcessedDataAndRefs start,
 Set<Op02WithProcessedDataAndRefs> nodes,
 List<Op02WithProcessedDataAndRefs> ops)

copyBlock

private static List<Op02WithProcessedDataAndRefs> copyBlock(List<Op02WithProcessedDataAndRefs> orig,
 InstrIndex afterThis)

tieUpRelations

private static void tieUpRelations(List<Op02WithProcessedDataAndRefs> out,
 List<Op02WithProcessedDataAndRefs> in,
 Map<Op02WithProcessedDataAndRefs, Op02WithProcessedDataAndRefs> map)

replace

public static void replace(Op02WithProcessedDataAndRefs oldOp,
 Op02WithProcessedDataAndRefs newOp)