Java IfStatement.getExpression方法代码示例

import org.eclipse.jdt.core.dom.IfStatement; //导入方法依赖的package包/类
@Override
public boolean preNext(IfStatement curElement) {

	Statement thenStatement = curElement.getThenStatement();
	Statement elseStatement = curElement.getElseStatement();
	Expression condition = curElement.getExpression();

	if (elseStatement == null) {
		compiler.println("opt " + condition.toString());
		return true;
	} else {
		compiler.println("alt " + condition.toString());
		thenStatement.accept(compiler);
		if (elseStatement instanceof IfStatement) {
			processAltStatement((IfStatement) elseStatement);
		} else {
			compiler.println("else");
			elseStatement.accept(compiler);
		}
		return false;
	}
}
 

import org.eclipse.jdt.core.dom.IfStatement; //导入方法依赖的package包/类
private void processAltStatement(IfStatement statement) {
	Statement thenStatement = statement.getThenStatement();
	Statement elseStatement = statement.getElseStatement();
	Expression condition = statement.getExpression();

	compiler.println("else " + condition.toString());
	thenStatement.accept(compiler);
	if (elseStatement != null) {
		if (elseStatement instanceof IfStatement) {
			processAltStatement((IfStatement) elseStatement);
		} else {
			compiler.println("else");
			elseStatement.accept(compiler);
		}
	}
}
 

import org.eclipse.jdt.core.dom.IfStatement; //导入方法依赖的package包/类
public IfStatementWrapper(IfStatement statement, int indentationLevel, Applicable applicable) {
    super(indentationLevel, applicable);
    this.expression = statement.getExpression();
    this.thenBlock = new LinkedList<>();
    this.elseBlock = new LinkedList<>();

    statementsFrom(statement.getThenStatement(), thenBlock);
    statementsFrom(statement.getElseStatement(), elseBlock);
    applicable.applyFeaturesToStatements(thenBlock);
    applicable.applyFeaturesToStatements(elseBlock);
}
 

import org.eclipse.jdt.core.dom.IfStatement; //导入方法依赖的package包/类
public boolean visit(IfStatement node) {
	Statement thenStmt = node.getThenStatement();
	Statement elseStmt = node.getElseStatement();
	Expression condExpr = node.getExpression();

	String thenStr = (thenStmt.toString()).replace('\n', ' ');
	String elseStr = "";

	if (elseStmt != null) {
		elseStr = (elseStmt.toString()).replace('\n', ' ');
	}

	if (mtbStack.isEmpty()) // not part of a method
		return true;

	IMethodBinding mtb = mtbStack.peek();
	String methodStr = getQualifiedName(mtb);
	String condStr = condExpr.toString();

	condStr = edit_str(condStr);
	thenStr = edit_str(thenStr);
	elseStr = edit_str(elseStr);

	// make conditional fact
	try {
		facts.add(Fact.makeConditionalFact(condStr, thenStr, elseStr,
				methodStr));
	} catch (Exception e) {
		System.err.println("Cannot resolve conditional \""
				+ condExpr.toString() + "\"");
		System.out.println("ifStmt: " + thenStr);
		System.out.println("elseStmt: " + elseStr);
		System.err.println(e.getMessage());
	}
	return true;
}
 

import org.eclipse.jdt.core.dom.IfStatement; //导入方法依赖的package包/类
public boolean visit(IfStatement node)
{
  Statement thenStmt = node.getThenStatement();
  Statement elseStmt = node.getElseStatement();
  Expression condExpr = node.getExpression();
  
  String thenStr = thenStmt.toString().replace('\n', ' ');
  String elseStr = "";
  if (elseStmt != null) {
    elseStr = elseStmt.toString().replace('\n', ' ');
  }
  if (this.mtbStack.isEmpty()) {
    return true;
  }
  IMethodBinding mtb = (IMethodBinding)this.mtbStack.peek();
  String methodStr = getQualifiedName(mtb);
  String condStr = condExpr.toString();
  
  condStr = edit_str(condStr);
  thenStr = edit_str(thenStr);
  elseStr = edit_str(elseStr);
  try
  {
    this.facts.add(Fact.makeConditionalFact(condStr, thenStr, elseStr, 
      methodStr));
  }
  catch (Exception e)
  {
    System.err.println("Cannot resolve conditional \"" + 
      condExpr.toString() + "\"");
    System.out.println("ifStmt: " + thenStr);
    System.out.println("elseStmt: " + elseStr);
    System.err.println(e.getMessage());
  }
  return true;
}
 

import org.eclipse.jdt.core.dom.IfStatement; //导入方法依赖的package包/类
private void processIfStatements(Statement st, Method tmlMethod) {
List<TestCase> testCases = tmlMethod.getTestCase();

if (st != null && st.getNodeType() == ASTNode.IF_STATEMENT) {

    IfStatement ifSt = (IfStatement) st;

    Expression expression = ifSt.getExpression();
    testCases.addAll(processIfExpressions(expression, tmlMethod));

    // add assertions for result variable
    for (TestCase tc : testCases) {
	if (tc.getAssertion().size() == 0
		&& tmlMethod.getResult() != null) {
	    Assertion assertion = of.createAssertion();
	    assertion.setType(AssertionType.EQUALS);
	    assertion.setBase("{result}");
	    assertion.setValue("");
	    tc.getAssertion().add(assertion);
	}
    }

    // process other statements
    processIfStatements(ifSt.getThenStatement(), tmlMethod);
    processIfStatements(ifSt.getElseStatement(), tmlMethod);
}
   }
 

import org.eclipse.jdt.core.dom.IfStatement; //导入方法依赖的package包/类
private MethodAnalyzeResult analyzeMethod(CompilationUnit astCu,
    IMethod method) {
MethodAnalyzeResult mar = new MethodAnalyzeResult();
MethodDeclaration md = JDTUtils.createMethodDeclaration(astCu, method);
if (md == null) {
    return mar;
}

List<IfStatement> ifStatements = collectIfStatements(md);
int numberOfIfStatements = ifStatements.size();

mar.setIfStatements(ifStatements);

// check if only null checks
if (ifStatements.size() > 0) {
    boolean onlyNullChecks = true;

    for (IfStatement ifSt : ifStatements) {
	Expression expression = ifSt.getExpression();

	if (expression.getNodeType() == ASTNode.INFIX_EXPRESSION) {
	    InfixExpression infixEx = (InfixExpression) expression;
	    Expression leftOperand = infixEx.getLeftOperand();
	    Expression rightOperand = infixEx.getRightOperand();
	    Operator operator = infixEx.getOperator();

	    if (operator.equals(Operator.EQUALS)
		    || operator.equals(Operator.NOT_EQUALS)) {
		if (leftOperand.getNodeType() == ASTNode.NULL_LITERAL
			|| rightOperand.getNodeType() == ASTNode.NULL_LITERAL) {
		    continue;
		}
	    }

	}

	onlyNullChecks = false;
    }

    mar.setOnlyNullChecks(onlyNullChecks);
}

// define test priority
if (numberOfIfStatements > 6) {
    mar.setTestPrio(Testprio.HIGH);
} else if (numberOfIfStatements > 3) {
    mar.setTestPrio(Testprio.DEFAULT);
} else if (numberOfIfStatements > 0) {
    mar.setTestPrio(Testprio.LOW);
} else {
    mar.setTestPrio(null);
}

return mar;
   }