KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > org > eclipse > jdt > internal > core > builder > CompilationParticipantResult


1 /*******************************************************************************
2  * Copyright (c) 2005, 2006 IBM Corporation and others.
3  * All rights reserved. This program and the accompanying materials
4  * are made available under the terms of the Eclipse Public License v1.0
5  * which accompanies this distribution, and is available at
6  * http://www.eclipse.org/legal/epl-v10.html
7  *
8  * Contributors:
9  * IBM - rewrote spec
10  *
11  *******************************************************************************/

12
13 package org.eclipse.jdt.internal.core.builder;
14
15 import org.eclipse.core.resources.IFile;
16 import org.eclipse.jdt.core.compiler.*;
17
18 public class CompilationParticipantResult {
19     protected SourceFile sourceFile;
20     protected boolean hasAnnotations; // only set during processAnnotations
21
protected IFile[] addedFiles; // added/changed generated source files that need to be compiled
22
protected IFile[] deletedFiles; // previously generated source files that should be deleted
23
protected CategorizedProblem[] problems; // new problems to report against this compilationUnit
24
protected String JavaDoc[] dependencies; // fully-qualified type names of any new dependencies, each name is of the form 'p1.p2.A.B'
25

26 protected CompilationParticipantResult(SourceFile sourceFile) {
27     this.sourceFile = sourceFile;
28     this.hasAnnotations = false;
29     this.addedFiles = null;
30     this.deletedFiles = null;
31     this.problems = null;
32     this.dependencies = null;
33 }
34
35 void reset(boolean detectedAnnotations) {
36     // called prior to processAnnotations
37
this.hasAnnotations = detectedAnnotations;
38     this.addedFiles = null;
39     this.deletedFiles = null;
40     this.problems = null;
41     this.dependencies = null;
42 }
43
44 public String JavaDoc toString() {
45     return this.sourceFile.toString();
46 }
47
48 }
49
Popular Tags