DPaste - Paste #501 - pastebin, online compiler and collaboration tool dedicated to D Programming Language

Code

module NotNull_d;

import std.stdio;
import std.traits;

class NullPointerException : Exception {
public:
	this(string msg, string filename = __FILE__, uint line = __LINE__) {
		super(msg, filename, line);
	}
}

struct NotNull(T) {
private:
	static NotNull!(T)[T] _instances;
	static uint[string] _counter;

T _obj;

public:
	@disable
	this(typeof(null));

this(T obj, string filename = __FILE__, uint line = __LINE__) {
		if (obj is null) {
			throw new NullPointerException("NotNull: Object is null.", filename, line);
		}

this._obj = obj;
	}

private:
	@disable
	static ref NotNull!(T) Create(typeof(null), string filename = __FILE__, uint line = __LINE__);

static ref NotNull!(T) Create(T obj, string filename = __FILE__, uint line = __LINE__) {
		if (obj is null) {
			throw new NullPointerException("NotNull@Create: Object is null.", filename, line);
		}

if (obj !in _instances) {
			_instances[obj] = NotNull!(T)(obj, filename, line);

_counter[T.stringof]++;
		}

assert(_instances[obj] !is null, "Object instance is null.");

return _instances[obj];
	}

public:
	static uint[string] GetCounter() {
		return _counter;
	}

@property
	inout(T*) ptr(string filename = __FILE__, uint line = __LINE__) inout {
		return &this._obj;
	}

@property
	inout(T) value(string filename = __FILE__, uint line = __LINE__) inout {
		return this._obj;
	}

U opCast(U)(string filename = __FILE__, uint line = __LINE__) {
		static if (is(T == U)) {
			writeln(" -- Cast without cast");
			return this._obj;
		} else {
			return *(cast(U*) this.ptr);
		}
	}

U opCast(U)(string filename = __FILE__, uint line = __LINE__) const {
		static if (is(T == U)) {
			writeln(" -- Cast without cast");
			return cast(T) this._obj;
		} else {
			return *(cast(U*) this.ptr);
		}
	}

static if (!isPointer!(T) && __traits(hasMember, T, "GetNotNull")) {
		alias ptr this;
	} else {
		alias value this;
	}
}

ref NotNull!(T) assignNotNull(T)(T obj, string filename = __FILE__, uint line = __LINE__) {
	return NotNull!(T).Create(obj, filename, line);
}

@property
ref NotNull!(T) createNotNull(T : Object, Args...)(Args args, string filename = __FILE__, uint line = __LINE__) {
	T obj = new T(args);

return assignNotNull(obj, filename, line);
}

// for rvalues
T ensureNotNull(T : Object)(T obj, string filename = __FILE__, uint line = __LINE__) {
	if (obj is null) {
		throw new NullPointerException("Object is null.", filename, line);
	}

return obj;
}

// for lvalues
ref T ensureNotNull(T : Object)(ref T obj, string filename = __FILE__, uint line = __LINE__) {
	if (obj is null) {
		throw new NullPointerException("Object is null.", filename, line);
	}

return obj;
}

mixin template TNotNull(T) {
public:
	@property
	final ref NotNull!(T) GetNotNull(string filename = __FILE__, uint line = __LINE__) in {
		ensureNotNull(this, filename, line);
	} body {
		return assignNotNull(this, filename, line);
	}

alias GetNotNull this;
}

Compilation output:

/opt/compilers/dmd2/lib64/libphobos2.a(dmain2_47f_1a5.o): In function `main':
src/rt/dmain2.d:(.text.main+0xa): undefined reference to `_Dmain'
/opt/compilers/dmd2/lib64/libphobos2.a(deh2_45f_525.o): In function `_D2rt4deh213__eh_finddataFPvZPS2rt4deh29FuncTable':
src/rt/deh2.d:(.text._D2rt4deh213__eh_finddataFPvZPS2rt4deh29FuncTable+0xa): undefined reference to `_deh_beg'
src/rt/deh2.d:(.text._D2rt4deh213__eh_finddataFPvZPS2rt4deh29FuncTable+0x14): undefined reference to `_deh_beg'
src/rt/deh2.d:(.text._D2rt4deh213__eh_finddataFPvZPS2rt4deh29FuncTable+0x1e): undefined reference to `_deh_end'
src/rt/deh2.d:(.text._D2rt4deh213__eh_finddataFPvZPS2rt4deh29FuncTable+0x44): undefined reference to `_deh_end'
/opt/compilers/dmd2/lib64/libphobos2.a(thread_1a1_1b8.o): In function `_D4core6thread6Thread6__ctorMFZC4core6thread6Thread':
src/core/thread.d:(.text._D4core6thread6Thread6__ctorMFZC4core6thread6Thread+0x26): undefined reference to `_tlsend'
src/core/thread.d:(.text._D4core6thread6Thread6__ctorMFZC4core6thread6Thread+0x31): undefined reference to `_tlsstart'
/opt/compilers/dmd2/lib64/libphobos2.a(thread_1b1_6e4.o): In function `thread_attachThis':
src/core/thread.d:(.text.thread_attachThis+0x100): undefined reference to `_tlsstart'
src/core/thread.d:(.text.thread_attachThis+0x10b): undefined reference to `_tlsend'
/opt/compilers/dmd2/lib64/libphobos2.a(thread_18f_1b8.o): In function `_D4core6thread6Thread6__ctorMFPFZvmZC4core6thread6Thread':
src/core/thread.d:(.text._D4core6thread6Thread6__ctorMFPFZvmZC4core6thread6Thread+0x2b): undefined reference to `_tlsend'
src/core/thread.d:(.text._D4core6thread6Thread6__ctorMFPFZvmZC4core6thread6Thread+0x36): undefined reference to `_tlsstart'
/opt/compilers/dmd2/lib64/libphobos2.a(thread_190_1b8.o): In function `_D4core6thread6Thread6__ctorMFDFZvmZC4core6thread6Thread':
src/core/thread.d:(.text._D4core6thread6Thread6__ctorMFDFZvmZC4core6thread6Thread+0x37): undefined reference to `_tlsend'
src/core/thread.d:(.text._D4core6thread6Thread6__ctorMFDFZvmZC4core6thread6Thread+0x42): undefined reference to `_tlsstart'
/opt/compilers/dmd2/lib64/libphobos2.a(thread_18c_713.o): In function `thread_entryPoint':
src/core/thread.d:(.text.thread_entryPoint+0xa5): undefined reference to `_tlsend'
src/core/thread.d:(.text.thread_entryPoint+0xb0): undefined reference to `_tlsstart'
collect2: error: ld returned 1 exit status
Error: no main function specified
--- errorlevel 1

Paste info

Author: Namespace

Views: 205

Private: no

Expires: Never

Uploaded: 06.07.12 11:43

Votes: 0

Compilation

Compiler: DMD 2.062

Pointer size: m64

Code

Compilation output:

Paste info

Compilation

Actions

Confirm

Confirm