001    /*
002     * Sonar, open source software quality management tool.
003     * Copyright (C) 2009 SonarSource SA
004     * mailto:contact AT sonarsource DOT com
005     *
006     * Sonar is free software; you can redistribute it and/or
007     * modify it under the terms of the GNU Lesser General Public
008     * License as published by the Free Software Foundation; either
009     * version 3 of the License, or (at your option) any later version.
010     *
011     * Sonar is distributed in the hope that it will be useful,
012     * but WITHOUT ANY WARRANTY; without even the implied warranty of
013     * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
014     * Lesser General Public License for more details.
015     *
016     * You should have received a copy of the GNU Lesser General Public
017     * License along with Sonar; if not, write to the Free Software
018     * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA  02
019     */
020    package org.sonar.api.platform;
021    
022    import org.sonar.api.database.BaseIdentifiable;
023    
024    import javax.persistence.*;
025    
026    /**
027     * @since 2.2
028     */
029    @Entity
030    @Table(name = "extension_files")
031    public class LocalExtensionFile extends BaseIdentifiable {
032    
033      @Column(name = "extension_id", updatable = true, nullable = false)
034      private Integer extensionId;
035    
036      @Column(name = "plugin_key", updatable = true, nullable = false, length = 100)
037      private String pluginKey;
038    
039      @Column(name = "filename", updatable = true, nullable = false, length = 100)
040      private String filename;
041    
042      public LocalExtensionFile() {
043      }
044    
045      public LocalExtensionFile(String pluginKey, String filename) {
046        this.pluginKey = pluginKey;
047        this.filename = filename;
048      }
049    
050      public Integer getExtensionId() {
051        return extensionId;
052      }
053    
054      public void setExtensionId(Integer extensionId) {
055        this.extensionId = extensionId;
056      }
057    
058      public String getFilename() {
059        return filename;
060      }
061    
062      public void setFilename(String filename) {
063        this.filename = filename;
064      }
065    
066      public String getPluginKey() {
067        return pluginKey;
068      }
069    
070      public void setPluginKey(String pluginKey) {
071        this.pluginKey = pluginKey;
072      }
073    
074      public String getPath() {
075        return new StringBuilder()
076            .append(pluginKey)
077            .append("/")
078            .append(filename).toString();
079      }
080    }