public class SymbolicInfos_std implements SymbolicInfos {

	/**
	 * Creates a new SymbolicInfos named Str at address addr.
	 */
	public SymbolicInfos_std(String Str, int addr) {
		_addr = addr;
		_Str = Str;
	}

	public String name(){
		return	_Str;
	}

	public int address(){
		return	_addr;
	}


	protected String _Str;
	protected int _addr;
}