//--------------------------------------------------------------------------------------------------
//
//  @ CopyRight Roberti & Parau Enterprises, Inc.  2021-2023
//
//  This work is licensed under the Creative Commons Attribution-NoDerivatives 4.0 International License.
//  To view a copy of this license, visit http://creativecommons.org/licenses/by-nd/4.0/
//   or send a letter to Creative Commons, PO Box 1866, Mountain View, CA 94042, USA.
//
//--------------------------------------------------------------------------------------------------
//--------------------------------------------------------------------------------------------------
//
//	Abstract DVAbi class
//
//--------------------------------------------------------------------------------------------------

package 		framework;

import			java.math.BigInteger;


public	abstract	class 	DVAbi {
	
	public	abstract	boolean						verifySectionType(BigInteger typeValue);
	
	public	abstract	boolean						verifySectionAttribute(BigInteger attributeValue);
	
	public	abstract	boolean						verifyExternalSymbolBind(BigInteger bindValue);
	public	abstract	boolean						verifyExportedSymbolBind(BigInteger bindValue);
	
	public	abstract	boolean						verifySymbolType(BigInteger typeValue);
	
	public  abstract    String                      getEnv();
	
	public	abstract	String						getDetails();
	
    public  abstract    RelocationID                getRelocationID(DVStatements.Statement owner, String relocationType,
                                                                        String format, boolean checkOverflow);
    
    public  abstract    RelocationID[]              getRelocationID(DVStatements.Statement owner, String relocationType,
                                                                        String format);
	
	public	abstract	boolean						verifyBaseRegister(BigInteger register);
	
	public	abstract	int							getElfBits();
	public	abstract	int							getAddrBits();
	public	abstract	DVUtil.Endianness			getElfEndianness();
	public	abstract	DVUtil.Endianness			getDefaultEndianness();
	public	abstract	int							getOsAbi();
	public	abstract	int							getAbiVersion();
	public	abstract	int							getType();
	public	abstract	int							getMachine();
	public	abstract	int							getVersion();
	public	abstract	int							getProcessorFlags();
	
	public	abstract	long						getRelocationSectionAttributes();
						
	public	class	RelocationID {
		
		public	RelocationID(int ID, String nameID) {
			this.ID= ID;
			this.nameID= nameID;
		}
		
		public	final	int					ID;
		public	final	String				nameID;
	}
}