[#24] Fixed issue

+ disabled stack traces trimming by surefire plugin
+ refactored SmtIf* cases
+ fixed NPE in MethodVisitorRecorder

Author: skapral

atom-codegen/src/main/java/oo/atom/codegen/bytebuddy/branching/BIfAcmpEq.java

@@ -30,7 +30,7 @@
  *
  * @author Kapralov Sergey
  */
-public class BIfAcmpEq extends Base {
+public class BIfAcmpEq extends BImpl {
 
     public BIfAcmpEq(Label label) {
         super(-2, 0, label, Opcodes.IF_ACMPEQ);

atom-codegen/src/main/java/oo/atom/codegen/bytebuddy/branching/BIfAcmpNe.java

@@ -30,7 +30,7 @@
  *
  * @author Kapralov Sergey
  */
-public class BIfAcmpNe extends Base {
+public class BIfAcmpNe extends BImpl {
 
     public BIfAcmpNe(Label label) {
         super(-2, 0, label, Opcodes.IF_ACMPNE);

atom-codegen/src/main/java/oo/atom/codegen/bytebuddy/branching/BIfEq.java

@@ -30,7 +30,7 @@
  *
  * @author Kapralov Sergey
  */
-public class BIfEq extends Base {
+public class BIfEq extends BImpl {
 
     public BIfEq(Label label) {
         super(-1, 0, label, Opcodes.IFEQ);

atom-codegen/src/main/java/oo/atom/codegen/bytebuddy/branching/BIfIcmpEq.java

@@ -30,7 +30,7 @@
  *
  * @author Kapralov Sergey
  */
-public class BIfIcmpEq extends Base {
+public class BIfIcmpEq extends BImpl {
 
     public BIfIcmpEq(Label label) {
         super(-2, 0, label, Opcodes.IF_ICMPEQ);

atom-codegen/src/main/java/oo/atom/codegen/bytebuddy/branching/BIfIcmpNe.java

@@ -30,7 +30,7 @@
  *
  * @author Kapralov Sergey
  */
-public class BIfIcmpNe extends Base {
+public class BIfIcmpNe extends BImpl {
 
     public BIfIcmpNe(Label label) {
         super(-2, 0, label, Opcodes.IF_ICMPNE);

atom-codegen/src/main/java/oo/atom/codegen/bytebuddy/branching/BIfNe.java

@@ -1,4 +1,4 @@
-/*
+    /*
  * The MIT License
  *
  * Copyright 2017 Kapralov Sergey.
@@ -30,7 +30,7 @@
  *
  * @author Kapralov Sergey
  */
-public class BIfNe extends Base {
+public class BIfNe extends BImpl {
 
     public BIfNe(Label label) {
         super(-1, 0, label, Opcodes.IFNE);

atom-codegen/src/main/java/oo/atom/codegen/bytebuddy/branching/BIfNonNull.java

@@ -30,7 +30,7 @@
  *
  * @author Kapralov Sergey
  */
-public class BIfNonNull extends Base {
+public class BIfNonNull extends BImpl {
 
     public BIfNonNull(Label label) {
         super(-1, 0, label, Opcodes.IFNONNULL);

atom-codegen/src/main/java/oo/atom/codegen/bytebuddy/branching/BIfNull.java

@@ -30,7 +30,7 @@
  *
  * @author Kapralov Sergey
  */
-public class BIfNull extends Base {
+public class BIfNull extends BImpl {
 
     public BIfNull(Label label) {
         super(-1, 0, label, Opcodes.IFNULL);

…om/codegen/bytebuddy/branching/Base.java …m/codegen/bytebuddy/branching/BImpl.javaatom-codegen/src/main/java/oo/atom/codegen/bytebuddy/branching/Base.java renamed to atom-codegen/src/main/java/oo/atom/codegen/bytebuddy/branching/BImpl.java atom-codegen/src/main/java/oo/atom/codegen/bytebuddy/branching/Base.java renamed to atom-codegen/src/main/java/oo/atom/codegen/bytebuddy/branching/BImpl.java

@@ -32,14 +32,14 @@
  *
  * @author Kapralov Sergey
  */
-public class Base implements Branching {
+public class BImpl implements Branching {
 
     private final int sizeImpact;
     private final int maxSize;
     private final Label label;
     private final int opcode;
 
-    public Base(int sizeImpact, int maxSize, Label label, int opcode) {
+    public BImpl(int sizeImpact, int maxSize, Label label, int opcode) {
         this.sizeImpact = sizeImpact;
         this.maxSize = maxSize;
         this.label = label;

…egen/bytebuddy/smt/SmtFieldEquality.java …bytebuddy/smt/SmtCheckFieldEquality.javaatom-codegen/src/main/java/oo/atom/codegen/bytebuddy/smt/SmtFieldEquality.java renamed to atom-codegen/src/main/java/oo/atom/codegen/bytebuddy/smt/SmtCheckFieldEquality.java atom-codegen/src/main/java/oo/atom/codegen/bytebuddy/smt/SmtFieldEquality.java renamed to atom-codegen/src/main/java/oo/atom/codegen/bytebuddy/smt/SmtCheckFieldEquality.java

@@ -30,11 +30,11 @@
  *
  * @author Kapralov Sergey
  */
-public class SmtFieldEquality extends SmtCombined {
-    public SmtFieldEquality(final TypeDescription type, final FieldDescription field) {
+public class SmtCheckFieldEquality extends SmtCombined {
+    public SmtCheckFieldEquality(final TypeDescription type, final FieldDescription field) {
         super(
                 new SmtLoadPairOfFields(type, field),
-                new SmtIfEqual(true, new SmtReturnInteger(0))
+                new SmtIfNotEqual(field.getType().asErasure(), new SmtReturnInteger(0))
         );
     }
 }